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

• 2019
• 
  Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia:
  Polynomial semantics for modal logics. J. Appl. Non Class. Logics 29(4): 430-449 (2019)
• 
  Marc Aiguier, Isabelle Bloch:
  Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. J. Appl. Non Class. Logics 29(4): 392-429 (2019)
• 
  Luciano Caroprese, Ester Zumpano:
  Indefinite abductive explanations. J. Appl. Non Class. Logics 29(3): 233-254 (2019)
• 
  Sergio A. Celani:
  Subordination Tarski algebras. J. Appl. Non Class. Logics 29(3): 288-306 (2019)
• 
  Roberto Ciuni, Massimiliano Carrara:
  Semantical analysis of weak Kleene logics. J. Appl. Non Class. Logics 29(1): 1-36 (2019)
• 
  Alejandro Estrada, Yuri A. Poveda:
  MVW-rigs and product MV-algebras. J. Appl. Non Class. Logics 29(1): 78-96 (2019)
• 
  Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo:
  Axiomatic and dual systems for constructive necessity, a formally verified equivalence. J. Appl. Non Class. Logics 29(3): 255-287 (2019)
• 
  Oleg Grigoriev, Yaroslav I. Petrukhin:
  Two proofs of the algebraic completeness theorem for multilattice logic. J. Appl. Non Class. Logics 29(4): 358-381 (2019)
• 
  Chrysafis Hartonas:
  Lattice logic as a fragment of (2-sorted) residuated modal logic. J. Appl. Non Class. Logics 29(2): 152-170 (2019)
• 
  Jared Millson, Christian Straßer:
  A logic for best explanations. J. Appl. Non Class. Logics 29(2): 184-231 (2019)
• 
  Federico Matias Pailos:
  A family of metainferential logics. J. Appl. Non Class. Logics 29(1): 97-120 (2019)
• 
  Clayton Peterson:
  Monoidal logics: completeness and classical systems. J. Appl. Non Class. Logics 29(2): 121-151 (2019)
• 
  Yaroslav I. Petrukhin, Vasily Shangin:
  On Vidal's trivalent explanations for defective conditional in mathematics. J. Appl. Non Class. Logics 29(1): 64-77 (2019)
• 
  Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor:
  Modelling last-act attempted crime in criminal law. J. Appl. Non Class. Logics 29(4): 327-357 (2019)
• 
  Gemma Robles, José M. Méndez:
  Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. J. Appl. Non Class. Logics 29(1): 37-63 (2019)
• 
  Gemma Robles, Francisco Salto, José M. Méndez:
  Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. J. Appl. Non Class. Logics 29(3): 307-325 (2019)
• 
  Adam Trybus:
  n-valued maximal paraconsistent matrices. J. Appl. Non Class. Logics 29(2): 171-183 (2019)
• 
  Correction. J. Appl. Non Class. Logics 29(1): I (2019)
• 
  Anna Zamansky:
  On recent applications of paraconsistent logic: an exploratory literature review. J. Appl. Non Class. Logics 29(4): 382-391 (2019)