• 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

• 2005
• 
  Tarek Sayed Ahmed:
  On Amalgamation in Algebras of Logic. Stud Logica 81(1): 61-77 (2005)
• 
  Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri:
  Representations of monadic MV -algebras. Stud Logica 81(1): 123-144 (2005)
• 
  Lawrence Peter Belluce, Antonio Di Nola:
  Frames and MV-algebras. Stud Logica 81(3): 357-385 (2005)
• 
  Guram Bezhanishvili, Leo Esakia, David Gabelaia:
  Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica 81(3): 325-355 (2005)
• 
  Katalin Bimbó:
  Admissibility of Cut in LC with Fixed Point Combinator. Stud Logica 81(3): 399-423 (2005)
• 
  Torben Braüner:
  Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Stud Logica 81(2): 191-226 (2005)
• 
  Maria Bulinska:
  The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Stud Logica 81(1): 43-50 (2005)
• 
  Petr Cintula:
  Two notions of compactness in Gödel logics. Stud Logica 81(1): 99-123 (2005)
• 
  Roderic A. Girle:
  Melvin Fitting, Types Tableaus and Gödel's God. Stud Logica 81(3): 425-427 (2005)
• 
  Joan Gispert, Antoni Torrens:
  Axiomatic Extensions of IMT3 Logic. Stud Logica 81(3): 311-324 (2005)
• 
  Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch:
  Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Stud Logica 81(1): 79-98 (2005)
• 
  Ralf Küsters, Ralf Molitor:
  Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Stud Logica 81(2): 227-259 (2005)
• 
  Joachim Lambek, Philip J. Scott:
  An Exactification of the Monoid of Primitive Recursive Functions. Stud Logica 81(1): 1-18 (2005)
• 
  Tadeusz Litak, Frank Wolter:
  All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Stud Logica 81(2): 153-165 (2005)
• 
  Pavel Naumov:
  On Modal Logics of Partial Recursive Functions. Stud Logica 81(3): 295-309 (2005)
• 
  Ewa Palka:
  Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2. Stud Logica 81(2): 283-292 (2005)
• 
  Victor Pambuccian:
  Groups and Plane Geometry. Stud Logica 81(3): 387-398 (2005)
• 
  Andrei Popescu:
  Lukasiewicz-Moisil Relation Algebras. Stud Logica 81(2): 167-189 (2005)
• 
  Dmitrij P. Skvortsov:
  On the Predicate Logic of Linear Kripke Frames and some of its Extensions. Stud Logica 81(2): 261-282 (2005)
• 
  Liza Verhoeven, Leon Horsten:
  On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. Stud Logica 81(1): 19-24 (2005)
• 
  Jan Wolenski:
  Thomas Foster, Logic, Induction and Sets, (London Mathematical Society Student Texts 56), Cambridge University Press, Cambridge 2003, X + 234 pp, ISBN 0 521 53361 9. Stud Logica 81(1): 145-150 (2005)