Local possibilistic logic

DOI10.1080/11663081.1997.10510917MaRDI QIDQ4354626zbMATH OpenOpenAlexFDO

Authors 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

algebraic semanticscommutative quantalecontinuous \(t\)-normfuzzy sets of classical first-order modelsmany-valued logicpossibilistic logicpossibilistic states of informationsequent calculussubstructural logicstruth

Mathematics Subject Classification ID

Many-valued logic (03B50) Other nonclassical logic (03B60) Algebraic logic (03G99) Logic in artificial intelligence (68T27)

Recommendations

• A qualitative fuzzy possibilistic logic
• Extending possibilistic logic over Gödel logic
• On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
• Possibilistic logic: a retrospective and prospective view
• Possibilistic logic: from certainty-qualified statements to two-tiered logics -- a prospective survey

Cites work

• A modal logic for fusing partial belief of multiple reasoners
• A review of fuzzy set aggregation connectives
• A survey of belief revision and updating rules in various uncertainty models
• Fuzzy sets
• Fuzzy sets in approximate reasoning. II: Logical approaches
• scientific article; zbMATH DE number 3937166 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1269582 (Why is no real title available?)
• Inferences in probability logic
• Linear logic
• Local possibilistic logic
• On Fuzzy Logic I Many‐valued rules of inference
• Pretopologies and completeness proofs
• Reasoning about knowledge and probability

Cited in

(19)

• On negation: Pure local rules
• \(U\)-Sets as a possibilistic set theory
• A simple logic for reasoning about incomplete knowledge
• Fusion of symbolic knowledge and uncertain information in robotics
• A Local System for Classical Logic
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• Local information and adaptive consequence
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• Belief fusion and revision: an overview based on epistemic logic semantics
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• scientific article; zbMATH DE number 522843 (Why is no real title available?)
• Local possibilistic logic
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• scientific article; zbMATH DE number 1453054 (Why is no real title available?)
• Footprints in Local Reasoning
• Graded tableaux for Rational Pavelka Logic
• Sequent calculus and data fusion
• Possibilistic logic: a retrospective and prospective view
• Inference rules using local contexts

This page was built for publication: Local possibilistic logic

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