![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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, Lluís 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.