![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Logica 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.