共 50 条
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 条