What is a Paraconsistent Logic?

DOI10.1007/978-3-319-98797-2_5zbMath1439.03062OpenAlexW2897847887MaRDI QIDQ3305335

Damian Szmuc, Federico Matias Pailos, Eduardo Alejandro Barrio

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/SZMWIA

zbMATH Keywords

paraconsistent logicmetainferencesCobrerosgenuine relativistic effectTarskian logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (13)

Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции ⋮ Editorial introduction: substructural logics and metainferences ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Derivability and metainferential validity ⋮ The evidence approach to paraconsistency versus the paraconsistent approach to evidence ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ Structural weakening and paradoxes ⋮ Unnamed Item ⋮ A hierarchy of classical and paraconsistent logics ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Metainferential duality ⋮ Sequent-calculi for metainferential logics

Cites Work

• The logics of strict-tolerant logic
• Paraconsistent logic
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Truth and falsehood. An inquiry into generalized logical values
• Simple consequence relations
• Editorial introduction. Truth values. I
• The semantics and proof theory of linear logic
• The logic of paradox
• Paraconsistent logic: consistency, contradiction and negation
• Equivalence of consequence operations
• A calculus of antinomics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• A Complete Axiomatization of the Three valued Completion of Logic Programs
• OUP accepted manuscript
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: What is a Paraconsistent Logic?