Damián Enrique Szmuc

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 16

Top Topics

Inference Rules

Sequent Calculus

Top Venues

J. Philos. Log.

Rev. Symb. Log.

J. Appl. Non Class. Logics

Publications

Damián Enrique Szmuc, Hitoshi Omori
Liberating classical negation from falsity conditions. ISMVL (2022)
Bruno Da Ré, Damián Enrique Szmuc, Paula Teijeiro
Derivability and Metainferential Validity. J. Philos. Log. 51 (6) (2022)
Damián Enrique Szmuc
A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication. Stud Logica 109 (4) (2021)
Damián Enrique Szmuc, Thomas Macaulay Ferguson
Meaningless Divisions. Notre Dame J. Formal Log. 62 (3) (2021)
Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc
(Meta)inferential levels of entailment beyond the Tarskian paradigm. Synth. 198 (22-S) (2021)
Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc
Substructural logics, pluralism and collapse. Synth. 198 (20-S) (2021)
Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc
A Recovery operator for Nontransitive Approaches. Rev. Symb. Log. 13 (1) (2020)
Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc
A Hierarchy of Classical and Paraconsistent Logics. J. Philos. Log. 49 (1) (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) (2020)
Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc, Paula Teijeiro
Metainferential duality. J. Appl. Non Class. Logics 30 (4) (2020)
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC (2019)
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc
Logics based on linear orders of contaminating values. J. Log. Comput. 29 (5) (2019)
Damián Enrique Szmuc
Track-Down Operations on Bilattices. ISMVL (2018)
Eduardo Alejandro Barrio, Federico Matias Pailos, Damián Enrique Szmuc
A paraconsistent route to semantic closure. Log. J. IGPL 25 (4) (2017)
Hitoshi Omori, Damián Enrique Szmuc
Conjunction and Disjunction in Infectious Logics. LORI (2017)
Damián Enrique Szmuc
Defining LFIs and LFUs in extensions of infectious logics. J. Appl. Non Class. Logics 26 (4) (2016)
Lucas Rosenblatt, Damián Enrique Szmuc
On pathological Truths. Rev. Symb. Log. 7 (4) (2014)