Damián Enrique Szmuc

Paula Teijeiro

J. Philos. Log., 2022

Liberating classical negation from falsity conditions.

[BibT_eX]

[DOI]

Hitoshi Omori

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021

(Meta)inferential levels of entailment beyond the Tarskian paradigm.

[BibT_eX]

[DOI]

Synth., 2021

Substructural logics, pluralism and collapse.

[BibT_eX]

[DOI]

Synth., 2021

A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication.

[BibT_eX]

[DOI]

Stud Logica, 2021

Meaningless Divisions.

[BibT_eX]

[DOI]

Thomas Macaulay Ferguson

Notre Dame J. Formal Log., 2021

2020

A Recovery operator for Nontransitive Approaches.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2020

A Hierarchy of Classical and Paraconsistent Logics.

[BibT_eX]

[DOI]

J. Philos. Log., 2020

Metainferential duality.

[BibT_eX]

[DOI]

Bruno Da Ré

Paula Teijeiro

J. Appl. Non Class. Logics, 2020

Theories of truth based on four-valued infectious logics.

[BibT_eX]

[DOI]

Bruno Da Ré

Log. J. IGPL, 2020

2019

Logics based on linear orders of contaminating values.

[BibT_eX]

[DOI]

Roberto Ciuni

Thomas Macaulay Ferguson

J. Log. Comput., 2019

Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.

[BibT_eX]

[DOI]

Roberto Ciuni

Thomas Macaulay Ferguson

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Track-Down Operations on Bilattices.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017

A paraconsistent route to semantic closure.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

Conjunction and Disjunction in Infectious Logics.

[BibT_eX]

[DOI]

Hitoshi Omori

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Defining LFIs and LFUs in extensions of infectious logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2016

2014

On pathological Truths.

[BibT_eX]

[DOI]

Lucas Rosenblatt