A modal theorem-preserving translation of a class of three-valued logics of incomplete information
From MaRDI portal
Publication:4583322
DOI10.1080/11663081.2013.863491zbMath1398.03107OpenAlexW2082710444MaRDI QIDQ4583322
Publication date: 28 August 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2013.863491
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)
Related Items
Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, A quantitative approach to reasoning about incomplete knowledge, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, Borderline vs. unknown: comparing three-valued representations of imperfect information, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, Three-Valued Paraconsistent Propositional Logics, From Possibility Theory to Paraconsistency
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Three-valued logics in modal logic
- A map of dependencies among three-valued logics
- Possibilistic logic: a retrospective and prospective view
- Equilibrium logic
- Motivation and demotivation of a four-valued logic
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Fuzzy logic and approximate reasoning
- Modal interpretations of three-valued logic. II
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- The logic of paradox
- Metamathematics of fuzzy logic
- Triangular norms
- On Łukasiewicz's four-valued modal logic
- Knowledge-driven versus data-driven logics
- Possibility theory, probability theory and multiple-valued logics: a clarification
- A simple logic for reasoning about incomplete knowledge
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
- Propositional calculus for contradictory deductive systems
- Three-Valued Logics for Incomplete Information and Epistemic Logic
- Contingency-Based Equilibrium Logic
- An introduction to bipolar representations of information and preference
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- A kripke-kleene semantics for logic programs*
- Natural 3-valued logics—characterization and proof theory
- Foundations of fuzzy reasoning
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- An extension of levinson's theorem to asymptotically jordan difference equations
- Conditional objects as nonmonotonic consequence relationships
- On Ignorance and Contradiction Considered as Truth-Values
- Constructible falsity
- Some theorems about the sentential calculi of Lewis and Heyting
