What is a paraconsistent logic?

DOI10.1007/978-3-319-98797-2_5MaRDI QIDQ3305335zbMATH OpenOpenAlexFDO

Authors Federico Matias Pailos, Damian Szmuc, 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

Cobrerosgenuine relativistic effectmetainferencesparaconsistent logicTarskian logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Paraconsistent logic
• Inferential paraconsistency
• Paraconsistent logics?
• Paraconsistency: introduction
• Paraconsistency and its philosophical interpretations

Cites work

• A calculus of antinomics
• A Complete Axiomatization of the Three valued Completion of Logic Programs
• Characterizing logical consequence in many-valued logic
• Conservatively extending classical logic with transparent truth
• Editorial introduction. Truth values. I
• Equivalence of consequence operations
• Gentzen's cut-free calculus versus the logic of paradox
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• scientific article; zbMATH DE number 6287555 (Why is no real title available?)
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Logical consequence and the paradoxes
• Naive \textit{modus ponens}
• Paraconsistent logic
• Paraconsistent logic: consistency, contradiction and negation
• Simple consequence relations
• The connectives
• The logic of paradox
• The logics of strict-tolerant logic
• The semantics and proof theory of linear logic
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values

Cited in

(25)

• What is a non-truth-functional logic?
• Structural weakening and paradoxes
• Sequent-calculi for metainferential logics
• A hierarchy of classical and paraconsistent logics
• The logics of strict-tolerant logic
• Editorial introduction: substructural logics and metainferences
• Supervaluations and the strict-tolerant hierarchy
• Derivability and metainferential validity
• Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
• Metainferential duality
• scientific article; zbMATH DE number 7563614 (Why is no real title available?)
• Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
• From paraconsistent logic to dialetheic logic
• A recovery operator for nontransitive approaches
• К вопросу о критерии паранепротиворечивости логик
• Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
• 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
• Fragility and strength
• Tableaux for metainferential logics
• Toward a stronger constraint for non-trivial inconsistent theories
• Meta-classical non-classical logics
• Appreciating global validity
• Non-foundationalist frameworks for logical metainferentialism

This page was built for publication: What is a paraconsistent logic?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305335)