On Gentzen Systems Associated with the Finite Linear MV-algebras
From MaRDI portal
Publication:4351798
DOI10.1093/logcom/7.4.473zbMath0939.03078OpenAlexW2003060496MaRDI QIDQ4351798
Ventura Verdú, Angel J. Gil, Antoni Torrens Torrell
Publication date: 28 August 1997
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.4.473
sequent calculusalgebraizability\(m\)-dimensional deductive systems\(m\)-dimensional Gentzen system\(m\)-valued Łukasiewicz logicequational consequence relationlinear MV-algebra
Algebraic logic (03G99) MV-algebras (06D35) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items
On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ On two fragments with negation and without implication of the logic of residuated lattices