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
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
Last update Wed May 22 18:20:49 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
