1. Cut-elimination for Weak Grzegorczyk Logic Go

   • Rajeev Goré
   • Revantha Ramanayake

   OriginalPaper 06 December 2012 Pages: 1 - 27

2. The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra

   • Jie Fang
   • Lei-Bo Wang
   • Ting Yang

   OriginalPaper 28 December 2012 Pages: 29 - 39

3. IF Modal Logic and Classical Negation

   • Tero Tulenheimo

   OriginalPaper 24 January 2013 Pages: 41 - 66

4. On a Definition of a Variety of Monadic ℓ-Groups

   • José Luis Castiglioni
   • Renato A. Lewin
   • Marta Sagastume

   OriginalPaper 27 February 2013 Pages: 67 - 92

5. On Some Generalizations of the Concept of Partition

   • Marek Nowak

   OriginalPaper Open access 15 March 2013 Pages: 93 - 116

6. Towards a Functional Approach to Modular Ontologies Using Institutions

   • Daniel Pokrywczyński
   • Grant Malcolm

   OriginalPaper 27 February 2013 Pages: 117 - 143

7. Extensions of Priest-da Costa Logic

   • Thomas Macaulay Ferguson

   OriginalPaper 15 March 2013 Pages: 145 - 174

8. A Simplified Proof of the Church–Rosser Theorem

   • Yuichi Komori
   • Naosuke Matsuda
   • Fumika Yamakawa

   OriginalPaper 27 February 2013 Pages: 175 - 183

9. Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance

   • Gemma Robles
   • José M. Méndez

   OriginalPaper 05 May 2013 Pages: 185 - 217

10. Book Reviews

    • Erich Rast

    BookReview 11 October 2013 Pages: 219 - 223

11. Răzvan Diaconescu, Institution-independent Model Theory

    • Andrzej Tarlecki

    BookReview Open access 29 January 2014 Pages: 225 - 229