Studia Logica, Volume 65

Volume 65, Number 1, June 2000

Josep Maria Font, Ramon Jansana, Don Pigozzi: Foreword. 1-9 BibTeX
Romà J. Adillon, Ventura Verdú: On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. 11-30 BibTeX
Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Linearization of the BCK-logic. 31-51 BibTeX
Àngel J. Gil, Jordi Rebagliato: Protoalgebraic Gentzen Systems and the Cut Rule. 53-89 BibTeX
Eva Hoogland: Algebraic Characterizations of Various Beth Definability Properties. 91-112 BibTeX
Barbara Klunder: Varieties of Pseudo-Interior Algebras. 113-136 BibTeX
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze: Algebras and Matrices for Annotated Logics. 137-153 BibTeX

Victor N. Krivtsov: A Negationless Interpretation of Intuitionistic Theories, II. 155-179 BibTeX
Manuel Abad, J. Patricio Díaz Varela, L. A. Rueda, A. M. Suardíaz: Varieties of Three-Valued Heyting Algebras with a Quantifier. 181-198 BibTeX
Ágnes Kurucz: Arrow Logic and Infinite Counting. 199-222 BibTeX
Marcelo E. Coniglio, Francisco Miraglia: Non-Commutative Topology and Quantales. 223-236 BibTeX
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 BibTeX
Frank Wolter: First Order Common Knowledge Logics. 249-271 BibTeX

Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz: Jerzy Los 1920-1998; Elements of Biography. 301-314 BibTeX
Edwin D. Mares: The Incompleteness of RGL. 315-322 BibTeX
Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. 323-353 BibTeX
Francesco Paoli: A Common Abstraction of MV-Algebras and Abelian l-groups. 355-366 BibTeX
Max A. Freund: A Complete and Consistent Formal System for Sortals. 367-381 BibTeX
Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. 383-416 BibTeX
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: On Self-Admissible Quasi-Characterizing Inference Rules. 417-428 BibTeX