A finite axiomatization of positive MV-algebras

被引：0
作者：
Marco Abbadini
Peter Jipsen
Tomáš Kroupa
Sara Vannucci
机构：
[1] Università degli Studi di Salerno,Department of Mathematics
[2] Chapman University,Keck Center of Science and Engineering, Faculty of Mathematics
[3] Czech Technical University in Prague,Artificial Intelligence Center, Faculty of Electrical Engineering
来源：
Algebra universalis | 2022年 / 83卷
关键词：
MV-algebras; Positive subreducts; Lattice-ordered monoids; Quasivarieties; Quasi-equations; Axiomatization; 06D35; 06F05; 08C15;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature {⊕,⊙,∨,∧,0,1}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{\oplus , \odot , \vee , \wedge , 0, 1\}$$\end{document}. We provide a finite quasi-equational axiomatization for the class of such algebras.
引用
收藏
相关论文
共 50 条
[41]   Priestley duality for MV-algebras and beyond [J].
Fussner, Wesley ;
Gehrke, Mai ;
van Gool, Samuel J. ;
Marra, Vincenzo .
FORUM MATHEMATICUM, 2021, 33 (04) :899-921
[42]   Duality Theory and Skeleta for Semisimple MV-Algebras [J].
Di Nola, Antonio ;
Lenzi, Giacomo .
STUDIA LOGICA, 2018, 106 (06) :1239-1260
[43]   MV-algebras, multiple bets and subjective states [J].
Gerla, B .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2000, 25 (01) :1-13
[44]   MV-algebras and Partially Cyclically Ordered Groups [J].
Gérard Leloup .
Order, 2022, 39 :323-359
[45]   MV-algebras and Partially Cyclically Ordered Groups [J].
Leloup, Gerard .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2022, 39 (02) :323-359
[46]   Uniqueness of the implication for totally ordered MV-algebras [J].
Martínez, NG ;
Petrovich, A .
ANNALS OF PURE AND APPLIED LOGIC, 2001, 108 (1-3) :261-268
[47]   Subreducts of MV-algebras with product and product residuation [J].
Montagna, F .
ALGEBRA UNIVERSALIS, 2005, 53 (01) :109-137
[48]   FUZZY IMPLICATIVE AND BOOLEAN IDEALS OF MV-ALGEBRAS [J].
HOO, CS .
FUZZY SETS AND SYSTEMS, 1994, 66 (03) :315-327
[49]   Least V-quasivarieties of MV-algebras [J].
Gispert, Joan .
FUZZY SETS AND SYSTEMS, 2016, 292 :274-284
[50]   SOME REMARKS ON DIVISIBLE POLYHEDRAL MV-ALGEBRAS [J].
Lapenta, Serafina .
MATHEMATICA SLOVACA, 2020, 70 (01) :51-60
12345