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

• 2004
• 
  Philippe Balbiani, Dimiter Vakarelov:
  Dynamic extensions of arrow logic. Ann. Pure Appl. Log. 127(1-3): 1-15 (2004)
• 
  Arianna Betti:
  Lesniewski's early Liar, Tarski and natural language. Ann. Pure Appl. Log. 127(1-3): 267-287 (2004)
• 
  Janusz Czelakowski, Don Pigozzi:
  Fregean logics. Ann. Pure Appl. Log. 127(1-3): 17-76 (2004)
• 
  Roman Duda:
  On the Warsaw interactions of logic and mathematics in the years 1919-1939. Ann. Pure Appl. Log. 127(1-3): 289-301 (2004)
• 
  Ivo Düntsch, Ewa Orlowska:
  Boolean algebras arising from information systems. Ann. Pure Appl. Log. 127(1-3): 77-98 (2004)
• 
  Leo Esakia:
  Intuitionistic logic and modality via topology. Ann. Pure Appl. Log. 127(1-3): 155-170 (2004)
• 
  Melvin Fitting:
  First-order intensional logic. Ann. Pure Appl. Log. 127(1-3): 171-193 (2004)
• 
  Silvio Ghilardi:
  Unification, finite duality and projectivity in varieties of Heyting algebras. Ann. Pure Appl. Log. 127(1-3): 99-115 (2004)
• 
  Stanislaw Krajewski:
  Gödel on Tarski. Ann. Pure Appl. Log. 127(1-3): 303-323 (2004)
• 
  Roger D. Maddux:
  Finite, integral, and finite-dimensional relation algebras: a brief history. Ann. Pure Appl. Log. 127(1-3): 117-130 (2004)
• 
  George F. McNulty:
  Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. Ann. Pure Appl. Log. 127(1-3): 131-153 (2004)
• 
  Robert K. Meyer:
  Ternary relations and relevant semantics. Ann. Pure Appl. Log. 127(1-3): 195-217 (2004)
• 
  Marcin Mostowski, Dominika Wojtyniak:
  Computational complexity of the semantics of some natural language constructions. Ann. Pure Appl. Log. 127(1-3): 219-227 (2004)
• 
  Roman Murawski:
  Philosophical reflection on mathematics in Poland in the interwar period. Ann. Pure Appl. Log. 127(1-3): 325-337 (2004)
• 
  Stan J. Surma:
  Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. Ann. Pure Appl. Log. 127(1-3): 229-242 (2004)
• 
  Jan Wolenski:
  Aletheia in Greek thought until Aristotle. Ann. Pure Appl. Log. 127(1-3): 339-360 (2004)
• 
  Urszula Wybraniec-Skardowska:
  Foundations for the formalization of metamathematics and axiomatizations of consequence theories. Ann. Pure Appl. Log. 127(1-3): 243-266 (2004)