Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond

DOI10.1080/11663081.1999.10510967zbMath0993.03079OpenAlexW1971463464MaRDI QIDQ4531578

George Gargov

Publication date: 2 July 2002

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

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

zbMATH Keywords

surveyuncertaintyknowledgebilatticestruth valuesmany-valued logicsimperfect informationinfo-algebrasset expansions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Many-valued logic (03B50)

Related Items (21)

A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION ⋮ Parametrized semantics of logic programs -- a unifying framework ⋮ Natural dualities through product representations: bilattices and beyond ⋮ REPRESENTABILITY IN INTERVAL-VALUED FUZZY SET THEORY ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Four-valued paradefinite logics ⋮ Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ Bipolarity in bilattice logics ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Proof systems combining classical and paraconsistent negations ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Gradual trust and distrust in recommender systems ⋮ The Strict/Tolerant Idea and Bilattices ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Gentzen-type methods for bilattice negation ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation ⋮ Some useful 16-valued logics: How a computer network should think

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nelson algebras through Heyting ones. I
• Logic of paradox revisited
• Four valued semantics and the Liar
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Intuitionistic fuzzy sets
• An algebraic synthesis of the foundations of logic and probability
• Interval valued intuitionistic fuzzy sets
• Bilattices and the theory of truth
• Some remarks on three-valued logic of J. Lukasiewicz
• The logical foundations of statistical inference
• Matrix approach in methodology of sentential calculi
• Intuitionistic logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• A lattice-theoretical fixpoint theorem and its applications
• Quantitative deduction and its fixpoint theory
• Bilattices and Modal Operators
• Natural 3-valued logics—characterization and proof theory
• Bilattices and the semantics of logic programming
• Note on a six-valued extension of three-valued logic
• Outline of a Theory of Truth
• Logic for Equivocators
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Constructible falsity

This page was built for publication: Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond