Local possibilistic logic

DOI10.1080/11663081.1997.10510917zbMath0886.03018MaRDI QIDQ4354626

Luca Boldrin, Claudio Sossai

Publication date: 10 May 1998

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1997.10510917

zbMATH Keywords

truth; sequent calculus; algebraic semantics; many-valued logic; substructural logics; possibilistic logic; continuous \(t\)-norm; commutative quantale; fuzzy sets of classical first-order models; possibilistic states of information

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03G99: Algebraic logic

03B50: Many-valued logic

Related Items

Local possibilistic logic, Graded tableaux for Rational Pavelka Logic, Sequent calculus and data fusion, Possibilistic logic: a retrospective and prospective view, \(U\)-Sets as a possibilistic set theory, A simple logic for reasoning about incomplete knowledge, Fusion of symbolic knowledge and uncertain information in robotics, Belief fusion and revision: an overview based on epistemic logic semantics

Cites Work

• Linear logic
• A review of fuzzy set aggregation connectives
• Inferences in probability logic
• Fuzzy sets in approximate reasoning. II: Logical approaches
• On Fuzzy Logic I Many‐valued rules of inference
• A modal logic for fusing partial belief of multiple reasoners
• A survey of belief revision and updating rules in various uncertainty models
• Reasoning about knowledge and probability
• Local possibilistic logic
• Pretopologies and completeness proofs
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item