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 BibTeX
• Wojciech Zielonka: On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. 31-46 BibTeX
• Bob Coecke: Disjunctive Quantum Logic in Dynamic Perspective. 47-56 BibTeX
• Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka: A Map of Common Knowledge Logics. 57-86 BibTeX
• Horacio L. Arló-Costa: First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas. 87-118 BibTeX
• Susan Rogerson, Sam Butchart: Naïve Comprehension and Contracting Implications. 119-132 BibTeX

Volume 71, Number 2, July 2002

• Petr Hájek: A New Small Emendation of Gödel's Ontological Proof. 149-164 BibTeX
• Petr Hájek: Monadic Fuzzy Predicate Logics. 165-175 BibTeX
• William C. Purdy: Complexity and Nicety of Fluted Logic. 177-198 BibTeX
• 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 BibTeX
• Franco Montagna, Hiroakira Ono: Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. 227-245 BibTeX
• Anthony Hunter: Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. 247-258 BibTeX

Volume 71, Number 3, August 2002

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