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 条