What is a paraconsistent logic?

DOI10.1007/978-3-319-98797-2_5zbMATH Open1439.03062OpenAlexW2897847887MaRDI QIDQ3305335FDOQ3305335

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

Recommendations

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

zbMATH Keywords

paraconsistent logicmetainferencesCobrerosgenuine relativistic effectTarskian logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

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

Cited In (19)

• The logics of strict-tolerant logic
• Title not available (Why is that?)
• Anti-exceptionalism, truth and the BA-plan
• Sequent-calculi for metainferential logics
• К вопросу о критерии паранепротиворечивости логик
• A recovery operator for nontransitive approaches
• Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
• Metainferential duality
• A hierarchy of classical and paraconsistent logics
• Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Derivability and metainferential validity
• From paraconsistent logic to dialetheic logic
• Editorial introduction: substructural logics and metainferences
• The evidence approach to paraconsistency versus the paraconsistent approach to evidence
• What is a non-truth-functional logic?
• Supervaluations and the strict-tolerant hierarchy
• Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
• Structural weakening and paradoxes

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)