From Possibility Theory to Paraconsistency

DOI10.1007/978-81-322-2719-9_10zbMATH Open1423.03099OpenAlexW2463689481MaRDI QIDQ5241526

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)

Cites Work

• The logic of paradox
• Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008
• Propositional calculus for contradictory deductive systems
• Constructible falsity
• Natural 3-valued logics—characterization and proof theory
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• A simple logic for reasoning about incomplete knowledge
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• A calculus of antinomics
• On an implication connective of RM
• Logic of antinomies
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• A capacity-based semantics for inconsistency-tolerant inferences
• Title not available (Why is that?)
• 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
• Three-Valued Paraconsistent Propositional Logics

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)