On Gentzen Systems Associated with the Finite Linear MV-algebras

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

zbMATH Keywords

sequent calculusalgebraizability\(m\)-dimensional deductive systems\(m\)-dimensional Gentzen system\(m\)-valued Łukasiewicz logicequational consequence relationlinear MV-algebra

Mathematics Subject Classification ID

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