Structural completeness and unification problem of the logic of Chang algebra

zbMATH Open1402.06004MaRDI QIDQ2811494FDOQ2811494

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

MV-algebrastructural completenessperfect MV-algebraChang MV-algebra

Mathematics Subject Classification ID

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

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

(2)

• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• 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)