On Gentzen Systems Associated with the Finite Linear MV-algebras

DOI10.1093/LOGCOM/7.4.473MaRDI QIDQ4351798zbMATH OpenOpenAlexFDO

Authors Àngel J. Gil, Ventura Verdú, Antoni Torrens

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

\(m\)-dimensional deductive systems\(m\)-dimensional Gentzen system\(m\)-valued Łukasiewicz logicalgebraizabilityequational consequence relationlinear MV-algebrasequent calculus

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Many-valued logic (03B50) Algebraic logic (03G99) MV-algebras (06D35)

Recommendations

• A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
• Finitely equivalential Gentzen systems associated with arbitrary finite algebras
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• scientific article; zbMATH DE number 440121

Cited in

(8)

• 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
• scientific article; zbMATH DE number 440121 (Why is no real title available?)
• On Gentzen relations associated with finite-valued logics preserving degrees of truth
• A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
• A Note on Gentzen's LJ and NJ Systems Isomorphism
• Finitely equivalential Gentzen systems associated with arbitrary finite algebras
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth

This page was built for publication: On Gentzen Systems Associated with the Finite Linear MV-algebras

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