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

DOI10.1007/S00153-006-0001-7zbMATH Open1117.03027OpenAlexW2073932447MaRDI QIDQ850803FDOQ850803

Authors: Josep Maria Font, Ventura Verdú, Àngel J. Gil, Antoni Torrens 

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

Recommendations

• Logics preserving degrees of truth from varieties of residuated lattices
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Consequence and interpolation in Łukasiewicz logic
• Infinite valued Łukasiewicz logic
• Consequence and degrees of truth in many-valued logic

zbMATH Keywords

Gentzen systemsMV-algebrassequent calculusalgebraic logicWajsberg algebrasmany-valued logic, truth degreesŁukasiewicz logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (28)

• Title not available (Why is that?)
• Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)
• On the logic that preserves degrees of truth associated to involutive Stone algebras
• Consequence and degrees of truth in many-valued logic
• Title not available (Why is that?)
• Extension properties and subdirect representation in abstract algebraic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Degrees of maximality of Łukasiewicz-like sentential calculi
• Infinite-valued Łukasiewicz logic based on principal lattice filters
• Taking degrees of truth seriously
• Consequence Relations with Real Truth Values
• On expansions of WNM t-norm based logics with truth-constants
• Logics preserving degrees of truth from varieties of residuated lattices
• Paraconsistency properties in degree-preserving fuzzy logics
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• The strong version of a sentential logic
• Compatibility operators in abstract algebraic logic
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Logics preserving degrees of truth
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• Infinite valued Łukasiewicz logic
• Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
• Beyond Rasiowa's algebraic approach to non-classical logics
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
• Consequence and interpolation in Łukasiewicz logic
• Selfextensional logics with a distributive nearlattice term
• Pure variable inclusion logics

This page was built for publication: On the infinite-valued Łukasiewicz logic that preserves degrees of truth

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