default search action
Studia Logica, Volume 65
Volume 65, Number 1, June 2000
- Josep Maria Font, Ramon Jansana, Don Pigozzi:
Foreword. 1-9 - Romà J. Adillon, Ventura Verdú:
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. 11-30 - Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas:
Linearization of the BCK-logic. 31-51 - Àngel J. Gil, Jordi Rebagliato:
Protoalgebraic Gentzen Systems and the Cut Rule. 53-89 - Eva Hoogland:
Algebraic Characterizations of Various Beth Definability Properties. 91-112 - Barbara Klunder:
Varieties of Pseudo-Interior Algebras. 113-136 - Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
Algebras and Matrices for Annotated Logics. 137-153
Volume 65, Number 2, July 2000
- Victor N. Krivtsov:
A Negationless Interpretation of Intuitionistic Theories, II. 155-179 - Manuel Abad, J. Patricio Díaz Varela, Laura A. Rueda, Ana Maria Suardíaz:
Varieties of Three-Valued Heyting Algebras with a Quantifier. 181-198 - Ágnes Kurucz
:
Arrow Logic and Infinite Counting. 199-222 - Marcelo E. Coniglio
Non-Commutative Topology and Quantales. 223-236 - Tatsuya Shimura:
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. 237-247 - Frank Wolter
First Order Common Knowledge Logics. 249-271
Volume 65, Number 3, August 2000
- Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz:
Jerzy Los 1920-1998; Elements of Biography. 301-314 - Edwin D. Mares:
The Incompleteness of RGL. 315-322 - Stéphane Demri, Dov M. Gabbay:
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. 323-353 - Francesco Paoli:
A Common Abstraction of MV-Algebras and Abelian l-groups. 355-366 - Max A. Freund:
A Complete and Consistent Formal System for Sortals. 367-381 - Gavin M. Bierman, Valeria de Paiva:
On an Intuitionistic Modal Logic. 383-416 - Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer:
On Self-Admissible Quasi-Characterizing Inference Rules. 417-428
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 2024-12-03 20:18 CET 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: