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 M. 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, Francisco Miraglia:
  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
  

Last update Wed May 22 18:20:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page