• 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 21 matches

• 2009
• 
  Luca Alberucci, Alessandro Facchini:
  On Modal µ -Calculus and Gödel-Löb Logic. Stud Logica 91(2): 145-169 (2009)
• 
  Agostinho Almeida:
  Canonical Extensions and Relational Representations of Lattices with Negation. Stud Logica 91(2): 171-199 (2009)
• 
  Arnon Avron, Beata Konikowska:
  Proof Systems for Reasoning about Computation Errors. Stud Logica 91(2): 273-293 (2009)
• 
  Nuel Belnap:
  Truth Values, Neither-true-nor-false, and Supervaluations. Stud Logica 91(3): 305-334 (2009)
• 
  Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins:
  Behavioral Algebraization of Logics. Stud Logica 91(1): 63-111 (2009)
• 
  Roy Cook:
  Book Reviews. Stud Logica 91(1): 139-144 (2009)
• 
  Wieslaw Dziobiak, A. V. Kravchenko, Piotr J. Wojciechowski:
  Equivalents for a Quasivariety to be Generated by a Single Structure. Stud Logica 91(1): 113-123 (2009)
• 
  Melvin Fitting:
  How True It Is = Who Says It's True. Stud Logica 91(3): 335-366 (2009)
• 
  Josep Maria Font:
  Taking Degrees of Truth Seriously. Stud Logica 91(3): 383-406 (2009)
• 
  Josep Maria Font, Ramon Jansana, Don Pigozzi:
  Update to "A Survey of Abstract Algebraic Logic". Stud Logica 91(1): 125-130 (2009)
• 
  Petr Hájek:
  On Vagueness, Truth Values and Fuzzy Logics. Stud Logica 91(3): 367-382 (2009)
• 
  Ming Hsiung:
  Jump Liars and Jourdain's Card via the Relativized T-scheme. Stud Logica 91(2): 239-271 (2009)
• 
  Giorgi Japaridze:
  Many Concepts and Two Logics of Algorithmic Reduction. Stud Logica 91(1): 1-24 (2009)
• 
  Norihiro Kamide:
  Proof Systems Combining Classical and Paraconsistent Negations. Stud Logica 91(2): 217-238 (2009)
• 
  Michal Kozak:
  Distributive Full Lambek Calculus Has the Finite Model Property. Stud Logica 91(2): 201-216 (2009)
• 
  István Németi, András Simon:
  Weakly higher order cylindric algebras and finite axiomatization of the representables. Stud Logica 91(1): 53-62 (2009)
• 
  Sergei P. Odintsov:
  On Axiomatizing Shramko-Wansing's Logic. Stud Logica 91(3): 407-428 (2009)
• 
  Luc Schneider:
  The Logic of the Ontological Square. Stud Logica 91(1): 25-51 (2009)
• 
  Yaroslav Shramko, Heinrich Wansing:
  Editorial Introduction. Truth Values: Part I. Stud Logica 91(3): 295-304 (2009)
• 
  Yaroslav Shramko, Heinrich Wansing:
  The Slingshot Argument and Sentential Identity. Stud Logica 91(3): 429-455 (2009)
• 
  Ernst Zimmermann:
  Predicate Logical Extensions of some Subintuitionistic Logics. Stud Logica 91(1): 131-138 (2009)