We stand with Ukraine  

Damián Enrique Szmuc

Orcid: 0000-0002-7324-0908

According to our database1, Damián Enrique Szmuc authored at least 19 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
4
4
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic.
[BibTeX]
[DOI]
Bruno Da Ré
,
Damián Enrique Szmuc
,
María Inés Corbalán
Stud Logica, December, 2024

On three-Valued Presentations of Classical Logic.
[BibTeX]
[DOI]
Bruno Da Ré
,
Damián Enrique Szmuc
,
Emmanuel Chemla
,
Paul Égré
Rev. Symb. Log., 2024

2022
Derivability and Metainferential Validity.
[BibTeX]
[DOI]
Bruno Da Ré
,
Damián Enrique Szmuc
,
Paula Teijeiro
J. Philos. Log., 2022

Liberating classical negation from falsity conditions.
[BibTeX]
[DOI]
Damián Enrique Szmuc
,
Hitoshi Omori
Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021
(Meta)inferential levels of entailment beyond the Tarskian paradigm.
[BibTeX]
[DOI]
Eduardo Alejandro Barrio
,
Federico Matias Pailos
,
Damián Enrique Szmuc
Synth., 2021

Substructural logics, pluralism and collapse.
[BibTeX]
[DOI]
Eduardo Alejandro Barrio
,
Federico Matias Pailos
,
Damián Enrique Szmuc
Synth., 2021

A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication.
[BibTeX]
[DOI]
Damián Enrique Szmuc
Stud Logica, 2021

Meaningless Divisions.
[BibTeX]
[DOI]
Damián Enrique Szmuc
,
Thomas Macaulay Ferguson
Notre Dame J. Formal Log., 2021

2020
A Recovery operator for Nontransitive Approaches.
[BibTeX]
[DOI]
Eduardo Alejandro Barrio
,
Federico Matias Pailos
,
Damián Enrique Szmuc
Rev. Symb. Log., 2020

A Hierarchy of Classical and Paraconsistent Logics.
[BibTeX]
[DOI]
Eduardo Alejandro Barrio
,
Federico Matias Pailos
,
Damián Enrique Szmuc
J. Philos. Log., 2020

Metainferential duality.
[BibTeX]
[DOI]
Bruno Da Ré
,
Federico Matias Pailos
,
Damián Enrique Szmuc
,
Paula Teijeiro
J. Appl. Non Class. Logics, 2020

Theories of truth based on four-valued infectious logics.
[BibTeX]
[DOI]
Bruno Da Ré
,
Federico Matias Pailos
,
Damián Enrique Szmuc
Log. J. IGPL, 2020

2019
Logics based on linear orders of contaminating values.
[BibTeX]
[DOI]
Roberto Ciuni
,
Thomas Macaulay Ferguson
,
Damián Enrique Szmuc
J. Log. Comput., 2019

Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.
[BibTeX]
[DOI]
Roberto Ciuni
,
Thomas Macaulay Ferguson
,
Damián Enrique Szmuc
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Track-Down Operations on Bilattices.
[BibTeX]
[DOI]
Damián Enrique Szmuc
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017
A paraconsistent route to semantic closure.
[BibTeX]
[DOI]
Eduardo Alejandro Barrio
,
Federico Matias Pailos
,
Damián Enrique Szmuc
Log. J. IGPL, 2017

Conjunction and Disjunction in Infectious Logics.
[BibTeX]
[DOI]
Hitoshi Omori
,
Damián Enrique Szmuc
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
Defining LFIs and LFUs in extensions of infectious logics.
[BibTeX]
[DOI]
Damián Enrique Szmuc
J. Appl. Non Class. Logics, 2016

2014
On pathological Truths.
[BibTeX]
[DOI]
Lucas Rosenblatt
,
Damián Enrique Szmuc
Rev. Symb. Log., 2014


  Loading...