Damián Szmuc

19 papers C 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems.
J. Log. Comput.
Bruno Da Ré, Damián Szmuc
2024 J jnl
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic.
Stud Logica
Bruno Da Ré, Damián Szmuc, María Inés Corbalán
2024 J jnl
On three-Valued Presentations of Classical Logic.
Rev. Symb. Log.
Bruno Da Ré, Damián Szmuc, Emmanuel Chemla, Paul Égré
2022 J jnl
Derivability and Metainferential Validity.
J. Philos. Log.
Bruno Da Ré, Damián Szmuc, Paula Teijeiro
2022 — conf
Liberating classical negation from falsity conditions.
ISMVL
Damián Szmuc, Hitoshi Omori
2022 J jnl
Pure Refined Variable Inclusion Logics.
Australas. J. Log.
Damián Szmuc, Mariela Rubin
2021 J jnl
(Meta)inferential levels of entailment beyond the Tarskian paradigm.
Synth.
Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc
2021 J jnl
Immune Logics.
Australas. J. Log.
Bruno Da Ré, Damián Szmuc
2021 J jnl
Meaningless Divisions.
Notre Dame J. Formal Log.
Damián Szmuc, Thomas Macaulay Ferguson
2021 J jnl
Substructural logics, pluralism and collapse.
Synth.
Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc
2020 J jnl
A Hierarchy of Classical and Paraconsistent Logics.
J. Philos. Log.
Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc
2020 J jnl
A Recovery operator for Nontransitive Approaches.
Rev. Symb. Log.
Eduardo Alejandro Barrio, Federico Pailos, Damián Szmuc
2020 J jnl
Metainferential duality.
J. Appl. Non Class. Logics
Bruno Da Ré, Federico Pailos, Damián Szmuc, Paula Teijeiro
2020 J jnl
Theories of truth based on four-valued infectious logics.
Log. J. IGPL
Bruno Da Ré, Federico Pailos, Damián Szmuc
2019 J jnl
Logics based on linear orders of contaminating values.
J. Log. Comput.
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Szmuc
2019 C conf
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.
WoLLIC
Roberto Ciuni, Thomas Macaulay Ferguson, Damián Szmuc
2018 J jnl
A Note on Goddard and Routley's Significance Logic.
Australas. J. Log.
Damián Szmuc, Hitoshi Omori
2018 J jnl
Relevant Logics Obeying Component Homogeneity.
Australas. J. Log.
Roberto Ciuni, Damián Szmuc, Thomas Macaulay Ferguson
2017 — conf
Conjunction and Disjunction in Infectious Logics.
LORI
Hitoshi Omori, Damián Szmuc