Studia Logica, Volume 71

Volume 71, Number 1, June 2002

• M. Angela Weiss, Rohit Parikh:
  Completeness of Certain Bimodal Logics for Subset Spaces. 1-30
  
• Wojciech Zielonka:
  On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. 31-46
  
• Bob Coecke:
  Disjunctive Quantum Logic in Dynamic Perspective. 47-56
  
• Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka:
  A Map of Common Knowledge Logics. 57-86
  
• Horacio L. Arló-Costa:
  First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas. 87-118
  
• Susan Rogerson, Sam Butchart:
  Naïve Comprehension and Contracting Implications. 119-132
  

Volume 71, Number 2, July 2002

• Petr Hájek:
  A New Small Emendation of Gödel's Ontological Proof. 149-164
  
• Petr Hájek:
  Monadic Fuzzy Predicate Logics. 165-175
  
• William C. Purdy:
  Complexity and Nicety of Fluted Logic. 177-198
  
• Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna:
  On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. 199-226
  
• Franco Montagna, Hiroakira Ono:
  Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. 227-245
  
• Anthony Hunter:
  Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. 247-258
  

Volume 71, Number 3, August 2002

• Wojciech Buszkowski, Michael Moortgat:
  Editorial Introduction. 261-275
  
• V. Michele Abrusci:
  Classical Conservative Extensions of Lambek Calculus. 277-314
  
• Claudia Casadio, Joachim Lambek:
  A Tale of Four Grammars. 315-329
  
• Kosta Dosen, Zoran Petric:
  Bicartesian Coherence. 331-353
  
• Philippe de Groote, François Lamarche:
  Classical Non-Associative Lambek Calculus. 355-388
  
• Wendy MacCaull, Ewa Orlowska:
  Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. 389-414
  
• Richard Moot, Quintijn Puite:
  Proof Nets for the Multimodal Lambek Calculus. 415-442
  
• Heinrich Wansing:
  A Rule-Extension of the Non-Associative Lambek Calculus. 443-451
  

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