SOME REMARKS ON DIVISIBLE POLYHEDRAL MV-ALGEBRAS

被引:0
|
作者
Lapenta, Serafina [1 ]
机构
[1] Univ Salerno, Dept Math, Via Giovanni Paolo II 132, I-84084 Fisciano, SA, Italy
关键词
polyhedral MV-algebras; DMV-algebras; Riesz MV-algebras; tensor product; amalgamation; Luka-siewicz logic; MV-algebras; LUKASIEWICZ LOGIC;
D O I
10.1515/ms-2017-0330
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Building 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. (C) 2020 Mathematical Institute Slovak Academy of Sciences
引用
收藏
页码:51 / 60
页数:10
相关论文
共 50 条
  • [1] Polyhedral MV-algebras
    Busaniche, Manuela
    Cabrer, Leonardo
    Mundici, Daniele
    FUZZY SETS AND SYSTEMS, 2016, 292 : 150 - 159
  • [2] Notes on divisible MV-algebras
    Lapenta, Serafina
    Leustean, Ioana
    SOFT COMPUTING, 2017, 21 (21) : 6213 - 6223
  • [3] Some Remarks on Infinitesimals in MV-algebras
    Dubuc, Eduardo J.
    Zilber, Jorge C.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 29 (06) : 647 - 656
  • [4] Notes on divisible MV-algebras
    Serafina Lapenta
    Ioana Leuştean
    Soft Computing, 2017, 21 : 6213 - 6223
  • [5] ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS
    Belluce, Lawrence P.
    Di Nola, Antonio
    Lenzi, Giacomo
    JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (04) : 1061 - 1091
  • [6] Perfect MV-algebras and their logic
    Belluce, Lawrence P.
    Di Nola, Antonio
    Gerla, Brunella
    APPLIED CATEGORICAL STRUCTURES, 2007, 15 (1-2) : 135 - 151
  • [7] Riesz MV-algebras and their logic
    Di Nola, Antonio
    Leustean, Ioana
    PROCEEDINGS OF THE 7TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-2011) AND LFA-2011, 2011, : 140 - 145
  • [8] Vectorial MV-algebras
    Noje, D
    Bede, B
    SOFT COMPUTING, 2003, 7 (04) : 258 - 262
  • [9] Projective MV-algebras
    Di Nola, Antonio
    Grigolia, Revaz
    Lettieri, Ada
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 47 (03) : 323 - 332
  • [10] Similarity MV-algebras
    Gerla, B
    Leustean, I
    FUNDAMENTA INFORMATICAE, 2006, 69 (03) : 287 - 300