Credal Calculi, Evidence, and Consistency

DOI10.1007/978-3-030-71258-7_4MaRDI QIDQ5020164zbMATH OpenOpenAlexFDO

Authors Juliana Bueno-Soler, Walter Carnielli

Publication date 4 January 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71258-7_4

zbMATH Keywords

consistencycontradictioncredal calculilogics of formal inconsistencyparaconsistency

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• On the Credal Structure of Consistent Probabilities
• The logic of justified belief, explicit knowledge, and conclusive evidence
• A quantified logic of evidence
• Belief, credence, and evidence
• scientific article; zbMATH DE number 2019884
• Justified belief and the topology of evidence
• scientific article; zbMATH DE number 2113552
• A logic for reasoning about evidence
• Beliefs and evidence in justification models

Cites work

• A knowledge representation perspective: Logics for paraconsistent reasoning
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Formal inconsistency and evolutionary databases
• scientific article; zbMATH DE number 4049538 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 47929 (Why is no real title available?)
• scientific article; zbMATH DE number 67496 (Why is no real title available?)
• scientific article; zbMATH DE number 549967 (Why is no real title available?)
• scientific article; zbMATH DE number 1014107 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 6801031 (Why is no real title available?)
• Inconsistency management from the standpoint of possibilistic logic
• Limits for paraconsistent calculi
• Logics of formal inconsistency
• Natural 3-valued logics—characterization and proof theory
• Non-deterministic semantics for logics with a consistency operator
• Nonmonotonic reasoning, preferential models and cumulative logics
• On formal aspects of the epistemic approach to paraconsistency
• Ordered sets
• Paraconsistent logic: consistency, contradiction and negation
• Paraconsistent probabilities, their significance and their uses
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Probabilistic logic
• Probabilistic logic revisited
• Recovery operators, paraconsistency and duality

Cited in

(4)

• Two conceptions of weight of evidence in Peirce's \textit{Illustrations of the logic of science}
• Background beliefs and plausibility thresholds: defending explanationist evidentialism
• A quantified logic of evidence
• A synthesis of Hempelian and hypothetico-deductive confirmation

This page was built for publication: Credal Calculi, Evidence, and Consistency

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