• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2002
• 
  V. Michele Abrusci:
  Classical Conservative Extensions of Lambek Calculus. Stud Logica 71(3): 277-314 (2002)
• 
  Horacio L. Arló-Costa:
  First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas. Stud Logica 71(1): 87-118 (2002)
• 
  Wojciech Buszkowski, Michael Moortgat:
  Editorial Introduction. Stud Logica 71(3): 261-275 (2002)
• 
  Claudia Casadio, Joachim Lambek:
  A Tale of Four Grammars. Stud Logica 71(3): 315-329 (2002)
• 
  Bob Coecke:
  Disjunctive Quantum Logic in Dynamic Perspective. Stud Logica 71(1): 47-56 (2002)
• 
  Kosta Dosen, Zoran Petric:
  Bicartesian Coherence. Stud Logica 71(3): 331-353 (2002)
• 
  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. Stud Logica 71(2): 199-226 (2002)
• 
  Philippe de Groote, François Lamarche:
  Classical Non-Associative Lambek Calculus. Stud Logica 71(3): 355-388 (2002)
• 
  Petr Hájek:
  A New Small Emendation of Gödel's Ontological Proof. Stud Logica 71(2): 149-164 (2002)
• 
  Petr Hájek:
  Monadic Fuzzy Predicate Logics. Stud Logica 71(2): 165-175 (2002)
• 
  Anthony Hunter:
  Hans Kleine Büning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. Stud Logica 71(2): 247-258 (2002)
• 
  Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka:
  A Map of Common Knowledge Logics. Stud Logica 71(1): 57-86 (2002)
• 
  Wendy MacCaull, Ewa Orlowska:
  Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Stud Logica 71(3): 389-414 (2002)
• 
  Franco Montagna, Hiroakira Ono:
  Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Stud Logica 71(2): 227-245 (2002)
• 
  Richard Moot, Quintijn Puite:
  Proof Nets for the Multimodal Lambek Calculus. Stud Logica 71(3): 415-442 (2002)
• 
  William C. Purdy:
  Complexity and Nicety of Fluted Logic. Stud Logica 71(2): 177-198 (2002)
• 
  Susan Rogerson, Sam Butchart:
  Naïve Comprehension and Contracting Implications. Stud Logica 71(1): 119-132 (2002)
• 
  Heinrich Wansing:
  A Rule-Extension of the Non-Associative Lambek Calculus. Stud Logica 71(3): 443-451 (2002)
• 
  M. Angela Weiss, Rohit Parikh:
  Completeness of Certain Bimodal Logics for Subset Spaces. Stud Logica 71(1): 1-30 (2002)
• 
  Wojciech Zielonka:
  On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. Stud Logica 71(1): 31-46 (2002)