Studia Logica, Volume 77

Volume 77, Number 1, June 2004

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

Volume 77, Number 2, July 2004

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

Volume 77, Number 3, August 2004

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