Volume 53,
Number 1,
February 1994
Volume 53,
Number 2,
May 1994
- Michael Freund, Daniel J. Lehmann:
Nonmonotonic reasoning: from finitary relations to infinitary inference operations.
161-202
- Vladimir V. Rybakov:
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.
203-226
- Misao Nagayama:
On a property of BCK-identities.
227-234
- Frank Wolter:
What is the upper part of the lattice of bimodal logics?
235-242
- Fernando Guzmán:
A Gentzen system for conditional logic.
243-258
- Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence.
259-298
- Valentin Goranko:
Refutation systems in modal logic.
299-324
- George Weaver:
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems.
325-342
- Marek Tokarz:
Non-axiomatizability of Grice's implicature.
343-350
Volume 53,
Number 3,
August 1994
- Max A. Freund:
The relative consistency of system RRC* and some of its extensions.
351-360
- Katarzyna Palasinska:
Three-element nonfinitely axiomatizable matrices.
361-372
- Erik Aarts:
Proving theorems of the second order Lambek calculus in polynominal time.
373-388
- Sergio Galvan:
A note an the omega-incompleteness formalization.
389-396
- Yuichi Komori:
Syntactical investigations into BI logic and BB'I logic.
397-416
- Antonio di Nola, Ada Lettieri:
Perfect MV-algebras are categorically equivalent to Abelian l-grups.
417-432
- Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics.
433-458
Volume 53,
Number 4,
November 1994
Copyright © Mon Nov 2 21:54:15 2009
by Michael Ley (ley@uni-trier.de)