default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 5
Volume 5, Number 1, April 2011
- Gerhard Jäger, Thomas Studer
:
A Buchholz Rule for Modal Fixed Point Logics. 1-19 - Ivor Grattan-Guinness:
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. 21-73 - Jean-Pierre Desclés, Anca Pascu:
Logic of Determination of Objects (LDO): How to Articulate "Extension" with "Intension" and "Objects" with "Concepts". 75-89 - Jonathan P. Seldin:
Curry's Formalism as Structuralism. 91-100 - Ray E. Jennings, Yue Chen, J. Sahasrabudhe:
On a New Idiom in the Study of Entailment. 101-113 - Luis Estrada-González:
On the Meaning of Connectives (Apropos of a Non-Necessitarianist Challenge). 115-126 - Cassiano Terra Rodrigues:
The Method of Scientific Discovery in Peirce's Philosophy: Deduction, Induction, and Abduction. 127-164 - Soma Dutta, Mihir K. Chakraborty:
Negation and Paraconsistent Logics. 165-176
Volume 5, Number 2, November 2011
- Urszula Wybraniec-Skardowska, Jacek Waldmajer:
On Pairs of Dual Consequence Operations. 177-203 - Amílcar Sernadas, Cristina Sernadas, João Rasga:
On Combined Connectives. 205-224 - Saloua Chatti:
Referential Opacity and Epistemic Logic. 225-247 - Tomasz F. Skura:
On Refutation Rules. 249-254 - Dov M. Gabbay:
Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. 255-318 - Sergey Pavlov:
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic. 319-325 - Katarina Britz, Johannes Heidema, Ivan Varzinczak:
Constrained Consequence. 327-350
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
