1. Beyond Logical Pluralism and Logical Monism

   • Pavel Arazim

   OriginalPaper 14 May 2020 Pages: 151 - 174

2. Eigenlogic in the Spirit of George Boole

   • Zeno Toffano

   OriginalPaper 15 May 2020 Pages: 175 - 207

3. Essential Structure of Proofs as a Measure of Complexity

   • Jaime Ramos
   • João Rasga
   • Cristina Sernadas

   OriginalPaper 07 April 2020 Pages: 209 - 242

   

4. Positive Amalgamation

   • Mohammed Belkasmi

   OriginalPaper 29 November 2018 Pages: 243 - 258

5. Introducing H, an Institution-Based Formal Specification and Verification Language

   • Răzvan Diaconescu

   OriginalPaper 04 April 2020 Pages: 259 - 277

   

6. Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

   • David W. Miller

   Publisher Correction 22 April 2020 Pages: 279 - 279