Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic

DOI10.1007/s11229-020-02571-wzbMath1525.03083OpenAlexW3009867578MaRDI QIDQ6067099

Abilio Rodrigues, Walter Alexandre Carnielli, Juliana Bueno-Soler

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-02571-w

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

The evidence approach to paraconsistency versus the paraconsistent approach to evidence ⋮ Two-layered logics for paraconsistent probabilities ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains

Cites Work

• From classical to intuitionistic probability
• First degree entailments
• A semantical analysis of the calculi \(C_n\)
• 40 years of FDE: an introductory overview
• Paraconsistent logic, evidence, and justification
• Declarations of independence
• Intuitive semantics for first-degree entailments and `coupled trees'
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Recovery operators, paraconsistency and duality
• On Evidence: a Reply to McGrew
• Logics of Formal Inconsistency
• On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
• Unnamed Item
• 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: Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic