• 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

• 2022
• 
  Bruno Da Ré, Damián Enrique Szmuc, Paula Teijeiro:
  Derivability and Metainferential Validity. J. Philos. Log. 51(6): 1521-1547 (2022)
• 
  Damián Enrique Szmuc, Hitoshi Omori:
  Liberating classical negation from falsity conditions. ISMVL 2022: 131-136
• 2021
• 
  Damián Enrique Szmuc, Thomas Macaulay Ferguson:
  Meaningless Divisions. Notre Dame J. Formal Log. 62(3) (2021)
• 
  Damián Enrique Szmuc:
  A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication. Stud Logica 109(4): 791-828 (2021)
• 
  Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc:
  Substructural logics, pluralism and collapse. Synth. 198(20-S): 4991-5007 (2021)
• 
  Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc:
  (Meta)inferential levels of entailment beyond the Tarskian paradigm. Synth. 198(22-S): 5265-5289 (2021)
• 2020
• 
  Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc:
  Theories of truth based on four-valued infectious logics. Log. J. IGPL 28(5): 712-746 (2020)
• 
  Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc, Paula Teijeiro:
  Metainferential duality. J. Appl. Non Class. Logics 30(4): 312-334 (2020)
• 
  Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc:
  A Hierarchy of Classical and Paraconsistent Logics. J. Philos. Log. 49(1): 93-120 (2020)
• 
  Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc:
  A Recovery operator for Nontransitive Approaches. Rev. Symb. Log. 13(1): 80-104 (2020)
• 2019
• 
  Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc:
  Logics based on linear orders of contaminating values. J. Log. Comput. 29(5): 631-663 (2019)
• 
  Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc:
  Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC 2019: 119-139
• 2018
• 
  Damián Enrique Szmuc:
  Track-Down Operations on Bilattices. ISMVL 2018: 74-79
• 2017
• 
  Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc:
  A paraconsistent route to semantic closure. Log. J. IGPL 25(4): 387-407 (2017)
• 
  Hitoshi Omori, Damián Enrique Szmuc:
  Conjunction and Disjunction in Infectious Logics. LORI 2017: 268-283
• 2016
• 
  Damián Enrique Szmuc:
  Defining LFIs and LFUs in extensions of infectious logics. J. Appl. Non Class. Logics 26(4): 286-314 (2016)
• 2014
• 
  Lucas Rosenblatt, Damián Enrique Szmuc:
  On pathological Truths. Rev. Symb. Log. 7(4): 601-617 (2014)