Credal Calculi, Evidence, and Consistency

DOI10.1007/978-3-030-71258-7_4OpenAlexW3193171318MaRDI QIDQ5020164FDOQ5020164

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

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

zbMATH Keywords

consistencyparaconsistencylogics of formal inconsistencycontradictioncredal calculi

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Probabilistic logic
• Paraconsistent logic: consistency, contradiction and negation
• Title not available (Why is that?)
• Limits for paraconsistent calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics of Formal Inconsistency
• Non-deterministic semantics for logics with a consistency operator
• Natural 3-valued logics—characterization and proof theory
• Ordered sets
• Formal inconsistency and evolutionary databases
• Title not available (Why is that?)
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic revisited
• Inconsistency Management from the Standpoint of Possibilistic Logic
• A knowledge representation perspective: Logics for paraconsistent reasoning
• Title not available (Why is that?)
• Recovery operators, paraconsistency and duality
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

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)