From possibility theory to paraconsistency

DOI10.1007/978-81-322-2719-9_10MaRDI QIDQ5241526zbMATH OpenOpenAlexFDO

Authors Davide Ciucci, Didier Dubois

Publication date 31 October 2019

Published in Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-81-322-2719-9_10

zbMATH Keywords

paraconsistent logicpossibility theorythree-valued logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Three-valued logics for incomplete information and epistemic logic
• Three-valued logics in modal logic
• scientific article; zbMATH DE number 1775473
• Two Genuine 3-Valued Paraconsistent Logics

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3777462 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1269586 (Why is no real title available?)
• scientific article; zbMATH DE number 1361518 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3264909 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• A calculus of antinomics
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• A simple logic for reasoning about incomplete knowledge
• Constructible falsity
• Logic of antinomies
• Natural 3-valued logics—characterization and proof theory
• On an implication connective of RM
• Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008
• Propositional calculus for contradictory deductive systems
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• The logic of paradox

Cited in

(11)

• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg
• Three-valued logics for incomplete information and epistemic logic
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• A capacity-based semantics for inconsistency-tolerant inferences
• Three-valued paraconsistent propositional logics
• scientific article; zbMATH DE number 1164039 (Why is no real title available?)
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Condorcet’s Paradox and Ultrafilters
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS

This page was built for publication: From possibility theory to paraconsistency

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