Cut-elimination for Weak Grzegorczyk Logic Go Rajeev GoréRevantha Ramanayake OriginalPaper 06 December 2012 Pages: 1 - 27
The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra Jie FangLei-Bo WangTing Yang OriginalPaper 28 December 2012 Pages: 29 - 39
On a Definition of a Variety of Monadic ℓ-Groups José Luis CastiglioniRenato A. LewinMarta Sagastume OriginalPaper 27 February 2013 Pages: 67 - 92
On Some Generalizations of the Concept of Partition Marek Nowak OriginalPaper Open access 15 March 2013 Pages: 93 - 116
Towards a Functional Approach to Modular Ontologies Using Institutions Daniel PokrywczyńskiGrant Malcolm OriginalPaper 27 February 2013 Pages: 117 - 143
Extensions of Priest-da Costa Logic Thomas Macaulay Ferguson OriginalPaper 15 March 2013 Pages: 145 - 174
A Simplified Proof of the Church–Rosser Theorem Yuichi KomoriNaosuke MatsudaFumika Yamakawa OriginalPaper 27 February 2013 Pages: 175 - 183
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance Gemma RoblesJosé M. Méndez OriginalPaper 05 May 2013 Pages: 185 - 217
Răzvan Diaconescu, Institution-independent Model Theory Andrzej Tarlecki BookReview Open access 29 January 2014 Pages: 225 - 229