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)

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)