default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 12
Volume 12, Numbers 1-2, May 2018
- Jean-Yves Béziau:
Universal Logic: Evolution of a Project. 1-8 - John Corcoran:
Aristotle's Prototype Rule-Based Underlying Logic. 9-35 - Wilfrid Hodges:
Two Early Arabic Applications of Model-Theoretic Consequence. 37-54 - Jean-Yves Béziau:
Is the Principle of Contradiction a Consequence of \(x^{2}=x\) ? 55-81 - Yaroslav I. Petrukhin
:
Natural Deduction for Post's Logics and their Duals. 83-100 - Bruno Poizat, Aibat Yeshkeyev:
Positive Jonsson Theories. 101-127 - Fabio Pasquali:
On a Generalization of Equilogical Spaces. 129-140 - Reetu Bhattacharjee, Mihir Kumar Chakraborty, Lopamudra Choudhury:
Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic. 141-206 - Krystyna Mruczek-Nasieniewska, Marek Nasieniewski:
A Characterisation of Some \(\mathbf {Z}\) -Like Logics. 207-219 - Alexey Chentsov, Mykola S. Nikitchenko:
Composition-Nominative Logics as Institutions. 221-238 - Ingolf Max:
A Molecular Logic of Chords and Their Internal Harmony. 239-269
Volume 12, Numbers 3-4, November 2018
- Jean-Yves Béziau:
Logic Prizes et Cætera. 271-296 - Ivan Varzinczak:
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. 297-325 - Stefano Bonzio:
Dualities for Płonka Sums. 327-339 - Tin Perkov:
Abstract Logical Constants. 341-350 - Zalán Gyenis:
On the Modal Logic of Jeffrey Conditionalization. 351-374 - Jonas R. Becker Arenhart:
New Logics for Quantum Non-individuals? 375-395 - Chrysafis Hartonas:
Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics. 397-422 - Yaroslav I. Petrukhin:
Generalized Correspondence Analysis for Three-Valued Logics. 423-460 - Jolly Thomas:
Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers. 461-492 - Allen P. Hazen, Francis Jeffry Pelletier:
Pecularities of Some Three- and Four-Valued Second Order Logics. 493-509
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 2024-11-26 20:47 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:
