Volume 64,
Number 1,
2000
Volume 64,
Number 2,
2000
- Viorica Sofronie-Stokkermans:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.
151-172

- George Weaver:
Homogeneous and Universal Dedekind Algebras.
173-192

- Holger Sturm:
Elementary Classes in Basic Modal Logic.
193-213

- Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras. Part III.
215-256

- Dmitrij P. Skvortsov:
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.
257-270

- Maarten de Rijke:
A Note on Graded Modal Logic.
271-283

Volume 64,
Number 3,
2000
- Holger Sturm:
Modal Horn Classes.
301-313

- Alessandra Carbone:
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs.
315-321

- Victor N. Krivtsov:
A Negationless Interpretation of Intuitionistic Theories I.
323-344

- Pilar Dellunde:
On Definability of the Equality in Classes of Algebras with an Equivalence Relation.
345-353

- K. Hlkowska, Klaus Denecke:
P-Compatible Hypersubstitution and MP-Solid Varieties.
355-363

- Uwe Petersen:
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.
365-403

Copyright © Tue Dec 22 22:07:27 2009
by Michael Ley (ley@uni-trier.de)