An epistemic approach to paraconsistency: a logic of evidence and truth

DOI10.1007/s11229-017-1621-7zbMath1475.03016OpenAlexW2767495451MaRDI QIDQ2053983

Abilio Rodrigues, Walter Alexandre Carnielli

Publication date: 30 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/14115/1/letj.pdf

zbMATH Keywords

intuitionistic logicparaconsistent logicparacompletenesslogics of formal inconsistency and undeterminednessphilosophy of paraconsistency

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Related Items

Paraconsistent logic, evidence, and justification, Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic, The evidence approach to paraconsistency versus the paraconsistent approach to evidence, Varieties of entailment: introduction to the special issue, A four-valued dynamic epistemic logic, Some Comments and Replies, Unnamed Item, Event-based time-stamped claim logic, A Brief Note on Béziau’s “Rather Trivial Theorem” About LP, Valuation semantics for first-order logics of evidence and truth, Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras, First-order logics of evidence and truth with constant and variable domains, Quasi-truth and incomplete information in historical sciences, Twist-Valued Models for Three-Valued Paraconsistent Set Theory, Credal Calculi, Evidence, and Consistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pluralism and proofs
• Dynamic logics of evidence-based beliefs
• Constructive negations and paraconsistency
• A semantical analysis of the calculi \(C_n\)
• Paraconsistent logic, evidence, and justification
• Paraconsistent logic: consistency, contradiction and negation
• On the theory of inconsistent formal systems
• Constructible falsity and inexact predicates
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Logical Pluralism
• Logics of Formal Inconsistency
• Shrieking against gluts: the solution to the 'just true' problem
• Constructible falsity
• Propositional Calculus and Realizability
• On the interpretation of intuitionistic number theory