Studia Logica, Volume 64

Volume 64, Number 1, 2000

• Heinrich Wansing: The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. 3-20
• Anatolij Dvurecenskij: On Categorical Equivalences of Commutative BCK-algebras. 21-36
• Vladimir Kanovei, Michael Reeken: Extending Standard Models of ZFC to Models of Nonstandard Set Theories. 37-59
• Adriana Galli, Marta Sagastume, Gonzalo E. Reyes: Completeness Theorems via the Double Dual Functor. 61-81
• Hernando Gaitán: Priestley Duality for Quasi-Stone Algebras. 83-92
• Viorica Sofronie-Stokkermans: Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. 93-132

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