Studia Logica, Volume 77

Volume 77, Number 1, June 2004

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

Volume 77, Number 2, July 2004

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

Volume 77, Number 3, August 2004

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