Structural completeness and unification problem of the logic of Chang algebra

MaRDI QIDQ2811494zbMATH OpenFDO

Authors Antonio Di Nola, R. Grigolia, Giacomo Lenzi

Publication date 10 June 2016

Published in Azerbaijan Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Chang MV-algebraMV-algebraperfect MV-algebrastructural completeness

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35) Axiomatic model classes (08C10)

Review text

Baker and Beynon proved that a finitely generated lattice-ordered abelian group is finitely presented iff it is projective. Perfect MV-algebras do not form a variety, but are categorically equivalent to lattice-ordered abelian groups. Thus, for finitely generated perfect MV-algebras, being finitely presented is equivalent to being projective. It is also proved that the variety generated by perfect MV-algebras has unitary unification type, and its corresponding logic is structurally complete.

Recommendations

• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• The variety generated by all the ordinal sums of perfect MV-chains
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

Cited in

(3)

• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in immune system
• On \(n\)-perfect GMV-algebras

This page was built for publication: Structural completeness and unification problem of the logic of Chang algebra

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