Structural completeness and unification problem of the logic of Chang algebra

zbMATH Open1402.06004MaRDI QIDQ2811494FDOQ2811494

R. Grigolia, Antonio Di Nola, Giacomo Lenzi

Publication date: 10 June 2016

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

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

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)

Cited In (1)

• 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)