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

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

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