Volume 70, Number 1, February 2002
Volume 70, Number 2, March 2002
- Josep Maria Font, Petr Hájek:
On Lukasiewicz's Four-Valued Modal Logic.
157-182

- Sándor Jenei, Franco Montagna:
A Proof of Standard Completeness for Esteva and Godo's Logic MTL.
183-192

- Tomasz F. Skura:
Refutations, Proofs, and Models in the Modal Logic K4.
193-204

- Ian M. Hodkinson:
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.
205-240

- Ortrun Ibens:
Connection Tableau Calculi with Disjunctive Constraints.
241-270

- Zoran Petric:
Coherence in Substructural Categories.
271-296

- Rodney G. Downey:
Roman Murawski, Recursive Functions and Metamathematics.
297-299

- Greg O'Keefe:
Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999.
299-302

Volume 70, Number 3, April 2002
Copyright © Fri Nov 27 19:57:14 2009
by Michael Ley (ley@uni-trier.de)