Consequence and degrees of truth in many-valued logic

DOI10.1007/978-3-319-06233-4_6zbMATH Open1353.03014OpenAlexW67196075MaRDI QIDQ2948586FDOQ2948586

Authors: 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

Recommendations

• Taking degrees of truth seriously
• On substructural logics preserving degrees of truth
• Logics preserving degrees of truth from varieties of residuated lattices
• scientific article; zbMATH DE number 4055574
• Characterizing logical consequence in many-valued logic

zbMATH Keywords

many-valued logicsubstructural logicsresiduated latticesMV-algebratruth degrees

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35)

Cites Work

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

Cited In (9)

• Degrees of Truth, Ill-Known Sets and Contradiction
• Title not available (Why is that?)
• Characterizing logical consequence in many-valued logic
• Taking degrees of truth seriously
• From many-valued consequence to many-valued connectives
• Logics preserving degrees of truth from varieties of residuated lattices
• On substructural logics preserving degrees of truth
• Logics preserving degrees of truth
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth

This page was built for publication: Consequence and degrees of truth in many-valued logic

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