default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 14
Volume 14, Number 1, March 2020
- Jean-Yves Béziau, Jens Lemanski
:
The Cretan Square. 1-5 - Ioannis M. Vandoulakis, Tatiana Yu. Denisova:
On the Historical Transformations of the Square of Opposition as Semiotic Object. 7-26 - Stephen Read:
Swyneshed, Aristotle and the Rule of Contradictory Pairs. 27-50 - Peter McLaughlin, Oliver Schlaudt:
Kant's Antinomies of Pure Reason and the 'Hexagon of Predicate Negation'. 51-67 - Corina Strößner:
Existential Import, Aristotelian Logic, and its Generalizations. 69-102 - Jørgen Fischer Nilsson:
A Cube of Opposition for Predicate Logic. 103-114 - Didier Dubois, Henri Prade, Agnès Rico:
Structures of Opposition and Comparisons: Boolean and Gradual Cases. 115-149
Volume 14, Number 2, June 2020
- Pavel Arazim:
Beyond Logical Pluralism and Logical Monism. 151-174 - Zeno Toffano:
Eigenlogic in the Spirit of George Boole. 175-207 - Jaime Ramos, João Rasga, Cristina Sernadas:
Essential Structure of Proofs as a Measure of Complexity. 209-242 - Mohammed Belkasmi:
Positive Amalgamation. 243-258 - Razvan Diaconescu:
Introducing H, an Institution-Based Formal Specification and Verification Language. 259-277 - David W. Miller:
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice. 279
Volume 14, Number 3, September 2020
- Arnon Avron:
The Normal and Self-extensional Extension of Dunn-Belnap Logic. 281-296 - Tore Fjetland Øgaard:
Farewell to Suppression-Freedom. 297-330 - John Grant:
Measuring Inconsistency in Generalized Propositional Logic. 331-356 - Jeffrey Ketland:
Bases for Structures and Theories I. 357-381 - Samuele Maschio:
Numerical Existence Property and Categories with an Internal Copy. 383-394 - Dominique Duval:
Logical Rules as Fractions and Logics as Sketches. 395-405
Volume 14, Number 4, December 2020
- Pawel Pawlowski:
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations. 407-420 - Nathanael Leedom Ackerman:
Encoding Complete Metric Structures by Classical Structures. 421-459 - Jeffrey Ketland:
Bases for Structures and Theories II. 461-479 - Ivo Pezlar:
Composition of Deductions within the Propositions-As-Types Paradigm. 481-493 - Petra Murinová:
Graded Structures of Opposition in Fuzzy Natural Logic. 495-522 - Ahmad-Saher Azizi-Sultan:
Constrained Pseudo-Propositional Logic. 523-535
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-02-26 20:49 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:
