Affiliation:
1. Department of Mathematics, University of Salerno Via Giovanni Paolo II, 132, 84084, Fisciano, (SA)Italy
Abstract
AbstractBuilding on similar notions for MV-algebras, polyhedral DMV-algebras are defined and investigated. For such algebras dualities with suitable categories of polyhedra are established, and the relation with finitely presented Riesz MV-algebras is investigated. Via hull-functors, finite products are interpreted in terms of hom-functors, and categories of polyhedral MV-algebras, polyhedral DMV-algebras and finitely presented Riesz MV-algebras are linked together. Moreover, the amalgamation property is proved for finitely presented DMV-algebras and Riesz MV-algebras, and for polyhedral DMV-algebras.
Reference28 articles.
1. Rational Łukasiewicz logic and Divisible MV-algebras;Neural Networks World,2001
2. Scalar extensions for the algebraic structures of Łukasiewicz logic;J. Pure Appl. Algebra,2016
3. An analysis of the logic of Riesz spaces with strong unit;Ann. Pure Appl. Logic,2018
4. Łukasiewicz logic and Riesz Spaces;Soft Comput.,2014