default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-25 17:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
