A cartography of LFIs and truth
From MaRDI portal
Publication:6623945
DOI10.1007/978-3-031-56595-3_2MaRDI QIDQ6623945FDOQ6623945
Authors: Eduardo Alejandro Barrio, Federico Matias Pailos
Publication date: 24 October 2024
Cites Work
- Conservatively extending classical logic with transparent truth
- Truth without contra(di)ction
- Outline of a Theory of Truth
- A fully classical truth theory characterized by substructural means
- A recovery operator for nontransitive approaches
- Paraconsistent logic: consistency, contradiction and negation
- On the theory of inconsistent formal systems
- Title not available (Why is that?)
- An introduction to non-classical logic. From if to is
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Title not available (Why is that?)
- Nearly every normal modal logic is paranormal
- Title not available (Why is that?)
- Logics of formal inconsistency
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics of nonsense and Parry systems
- Title not available (Why is that?)
- A computational interpretation of conceptivism
- Classical negation and expansions of Belnap-Dunn logic
- Formal inconsistency and evolutionary databases
- Da Costa meets Belnap and Nelson
- Title not available (Why is that?)
- Title not available (Why is that?)
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
- Paraconsistent analytic implication
- A hierarchy of classical and paraconsistent logics
- A lattice of implicative extensions of regular Kleene's logics
- An epistemic interpretation of paraconsistent weak Kleene logic
- Paraconsistency and its philosophical interpretations
- Theories of truth based on four-valued infectious logics
- Defining LFIs and LFUs in extensions of infectious logics
- The evidence approach to paraconsistency versus the paraconsistent approach to evidence
- Substructural logics, pluralism and collapse
- Remarks on naive set theory based on \(\mathbf{LP}\)
- An alternative approach for quasi-truth
- Logics based on linear orders of contaminating values
- Recovery operators, paraconsistency and duality
- A paraconsistent route to semantic closure
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation).
- Truth in a logic of formal inconsistency: how classical can it get?
- Inferential semantics, paraconsistency, and preservation of evidence
- On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth
This page was built for publication: A cartography of LFIs and truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623945)