default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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
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.
last updated on 2025-01-08 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
