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
Copyright © Tue Nov 17 01:55:10 2009
by Michael Ley (ley@uni-trier.de)