Logica Universalis

Volume 14, issue 2, June 2020

6 articles in this issue

Beyond Logical Pluralism and Logical Monism

Authors
- Pavel Arazim
- Content type: OriginalPaper
- Published: 14 May 2020
- Pages: 151 - 174
Eigenlogic in the Spirit of George Boole

Authors
- Zeno Toffano
- Content type: OriginalPaper
- Published: 15 May 2020
- Pages: 175 - 207
Essential Structure of Proofs as a Measure of Complexity

Authors
- Jaime Ramos
- João Rasga
- Cristina Sernadas
- Content type: OriginalPaper
- Published: 07 April 2020
- Pages: 209 - 242
Positive Amalgamation

Authors
- Mohammed Belkasmi
- Content type: OriginalPaper
- Published: 29 November 2018
- Pages: 243 - 258
Introducing H, an Institution-Based Formal Specification and Verification Language

Authors
- Răzvan Diaconescu
- Content type: OriginalPaper
- Published: 04 April 2020
- Pages: 259 - 277
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

Authors
- David W. Miller
- Content type: Publisher Correction
- Published: 22 April 2020
- Pages: 279 - 279