Credal Calculi, Evidence, and Consistency

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

Juliana Bueno-Soler, Walter Alexandre 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

consistencyparaconsistencylogics of formal inconsistencycontradictioncredal calculi

Mathematics Subject Classification ID

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

Cites Work

• Limits for paraconsistent calculi
• Non-deterministic semantics for logics with a consistency operator
• Probabilistic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• Ordered sets
• An epistemic approach to paraconsistency: a logic of evidence and truth
• Paraconsistent logic: consistency, contradiction and negation
• Probabilistic logic revisited
• Formal inconsistency and evolutionary databases
• Recovery operators, paraconsistency and duality
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Natural 3-valued logics—characterization and proof theory
• A knowledge representation perspective: Logics for paraconsistent reasoning
• Inconsistency Management from the Standpoint of Possibilistic Logic
• Logics of Formal Inconsistency
• 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: Credal Calculi, Evidence, and Consistency