On the infinite-valued Łukasiewicz logic that preserves degrees of truth

DOI10.1007/s00153-006-0001-7zbMath1117.03027OpenAlexW2073932447MaRDI QIDQ850803

Josep Maria Font, Ventura Verdú, Antoni Torrens Torrell, Angel J. Gil

Publication date: 6 November 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0001-7

zbMATH Keywords

MV-algebrassequent calculusalgebraic logicŁukasiewicz logicGentzen systemsWajsberg algebrasmany-valued logic, truth degrees

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50)

Related Items

Pure Variable Inclusion Logics ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ The strong version of a sentential logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ The Infinite-Valued Łukasiewicz Logic and Probability ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Taking degrees of truth seriously ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• W-algebras which are Boolean products of members of SR[1 and CW- algebras]
• The semantics and proof theory of linear logic
• Theory of logical calculi. Basic theory of consequence operations
• Algebraic logic for classical conjunction and disjunction
• The logic of paradox
• A survey of abstract algebraic logic
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• Algebraizable logics
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• On Gentzen Systems Associated with the Finite Linear MV-algebras
• Axiomatization of the infinite-valued predicate calculus