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 BibTeX
Anatolij Dvurecenskij: On Categorical Equivalences of Commutative BCK-algebras. 21-36 BibTeX
Vladimir Kanovei, Michael Reeken: Extending Standard Models of ZFC to Models of Nonstandard Set Theories. 37-59 BibTeX
Adriana Galli, Marta Sagastume, Gonzalo E. Reyes: Completeness Theorems via the Double Dual Functor. 61-81 BibTeX
Hernando Gaitán: Priestley Duality for Quasi-Stone Algebras. 83-92 BibTeX
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 BibTeX

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 BibTeX
George Weaver: Homogeneous and Universal Dedekind Algebras. 173-192 BibTeX
Holger Sturm: Elementary Classes in Basic Modal Logic. 193-213 BibTeX
Guram Bezhanishvili: Varieties of Monadic Heyting Algebras. Part III. 215-256 BibTeX
Dmitrij P. Skvortsov: On the Existence of Continua of Logics Between Some Intermediate Predicate Logics. 257-270 BibTeX
Maarten de Rijke: A Note on Graded Modal Logic. 271-283 BibTeX

Holger Sturm: Modal Horn Classes. 301-313 BibTeX
Alessandra Carbone: Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. 315-321 BibTeX
Victor N. Krivtsov: A Negationless Interpretation of Intuitionistic Theories I. 323-344 BibTeX
Pilar Dellunde: On Definability of the Equality in Classes of Algebras with an Equivalence Relation. 345-353 BibTeX
K. Hlkowska, Klaus Denecke: P-Compatible Hypersubstitution and MP-Solid Varieties. 355-363 BibTeX
Uwe Petersen: Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction. 365-403 BibTeX