Projectivity and unification in locally finite varieties of monadic MV-algebras

MaRDI QIDQ5146272zbMATH OpenFDO

Authors Antonio Di Nola, R. Grigolia, Giacomo Lenzi

Publication date 25 January 2021

Full work available at URL http://www.rmi.ge/transactions/TRMI-volumes/173-2/v173(2)-4.pdf

zbMATH Keywords

finitely valued Łukasiewicz logicmonadic MV-algebrasMV-algebras

Mathematics Subject Classification ID

MV-algebras (06D35)

Recommendations

• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• A duality for monadic \((n+1)\)-valued MV-algebras
• Are locally finite MV-algebras a variety?
• Finiteness and duality in MV-algebras theory

Cites work

• A weak completeness theorem for infinite valued first-order logic
• Algebraic Analysis of Many Valued Logics
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Extending Stone duality to multisets and locally finite MV-algebras.
• Finitely generated free MV-algebras and their automorphism groups
• Further results on infinite valued predicate logic
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 1234629 (Why is no real title available?)
• scientific article; zbMATH DE number 2064179 (Why is no real title available?)
• Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
• On monadic MV-algebras
• Representations of monadic MV-algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Unification through projectivity
• Unification, finite duality and projectivity in varieties of Heyting algebras

Cited in

(7)

• A topological duality for monadic MV-algebras
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Are locally finite MV-algebras a variety?
• Finiteness and duality in MV-algebras theory
• Projectivity and unification problem in the variety generated by monadic perfect MV-algebras
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Representations of monadic MV-algebras

This page was built for publication: Projectivity and unification in locally finite varieties of monadic MV-algebras

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