Consequence and Degrees of Truth in Many-Valued Logic

DOI10.1007/978-3-319-06233-4_6zbMath1353.03014MaRDI QIDQ2948586

Josep Maria Font

Publication date: 6 October 2015

Published in: Petr Hájek on Mathematical Fuzzy Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06233-4_6

zbMATH Keywords

many-valued logic; MV-algebra; substructural logics; residuated lattices; truth degrees

Mathematics Subject Classification ID

06D35: MV-algebras

03B50: Many-valued logic

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
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• Graded consequence revisited
• Update to ``A survey of abstract algebraic logic
• Taking degrees of truth seriously
• Theory of logical calculi. Basic theory of consequence operations
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• Quasivarieties generated by simple MV-algebras
• Algebraic study of two deductive systems of relevance logic
• Fuzzy logic and arithmetical hierarchy
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• First-order Gödel logics
• The logic of inexact concepts
• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• Logics preserving degrees of truth
• Logics preserving degrees of truth from varieties of residuated lattices
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Algebraizable logics
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• On matrix representations of consequence operations of Łlukasiewicz's sentential calculi
• Belnap's Four-Valued Logic and De Morgan Lattices
• On n ‐contractive fuzzy logics
• Protoalgebraic logics
• Fuzzy logic. Mathematical tools for approximate reasoning
• Leibniz filters and the strong version of a protoalgebraic logic