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

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

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