Studia Logica - researchr journal

295	--	323	Dmitrij P. Skvortsov. On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
325	--	354	Robert Charles Koons. The Logic of Causal Explanation An Axiomatization
355	--	384	Norihiro Kamide. Quantized Linear Logic, Involutive Quantales and Strong Negation
385	--	411	Victor Pambuccian. The Simplest Axiom System for Plane Hyperbolic Geometry
413	--	423	Katarzyna Palasinska. No Matrix Term-Equivalent to Wronski s 3-element Matrix is Finitely Based
425	--	438	Peter Roeper. A Sequent Formulation of Conditional Logic Based on Belief Change Operations
439	--	452	Torsten Jepsen. Dale Jacquette (ed.), A Companion to Philosophical Logic

153	--	180	Joel Berman, Willem J. Blok. Free Lukasiewicz and Hoop Residuation Algebras
181	--	207	Nikolaos Galatos, James G. Raftery. Adding Involution to Residuated Structures
209	--	240	Francesco Belardinelli, Peter Jipsen, Hiroakira Ono. Algebraic Aspects of Cut Elimination
241	--	253	Andrzej Wronski. The Distance Function in Commutative l-semigroups and the Equivalence in Lukasiewicz Logic
255	--	265	Tomasz Kowalski. Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
267	--	292	Bjarni Jónsson, Constantine Tsinakis. Products of Classes of Residuated Structures

1	--	7	Sven Ove Hansson. A New Representation Theorem for Contranegative Deontic Logic
9	--	40	Kazushige Terui. Light Affine Set Theory: A Naive Set Theory of Polynomial Time
41	--	57	M. Randall Holmes. Paradoxes in Double Extension Set Theories
59	--	79	Razvan Diaconescu. An Institution-independent Proof of Craig Interpolation Theorem
81	--	86	Victor Pambuccian. Early Examples of Resource-Consciousness
87	--	104	Fabrice Correia. Semantics for Analytic Containment
105	--	115	Yde Venema. A Dual Characterization of Subdirectly Irreducible BAOs
117	--	128	Eric Schechter. Equivalents of Mingle and Positive Paradox
129	--	147	. Book Reviews

External Links