Journal: Studia Logica

Volume 102, Issue 1

1 -- 27Rajeev Goré, Revantha Ramanayake. Cut-elimination for Weak Grzegorczyk Logic Go
29 -- 39Jie Fang, Lei-Bo Wang, Ting Yang. The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
41 -- 66Tero Tulenheimo. IF Modal Logic and Classical Negation
67 -- 92José Luis Castiglioni, Renato A. Lewin, Marta Sagastume. On a Definition of a Variety of Monadic ℓ-Groups
93 -- 116Marek Nowak. On Some Generalizations of the Concept of Partition
117 -- 143Daniel Pokrywczynski, Grant Malcolm. Towards a Functional Approach to Modular Ontologies Using Institutions
145 -- 174Thomas Macaulay Ferguson. Extensions of Priest-da Costa Logic
175 -- 183Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa. A Simplified Proof of the Church-Rosser Theorem
185 -- 217Gemma Robles, José M. Méndez. Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance
219 -- 223Erich Rast. Book Reviews
225 -- 229Andrzej Tarlecki. Răzvan Diaconescu, Institution-independent Model Theory