Notes on divisible MV-algebras

被引:0
作者
Serafina Lapenta
Ioana Leuştean
机构
[1] University of Salerno,Department of Mathematics
[2] University of Bucharest,Department of Computer Science, Faculty of Mathematics and Computer Science
来源
Soft Computing | 2017年 / 21卷
关键词
DMV-algebras; MV-algebras; Rational Łukasiewicz logic; Divisible hull; Rational polyhedra;
D O I
暂无
中图分类号
学科分类号
摘要
In this notes, we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb Q$$\end{document}-vector lattices, we present the divisible hull as a categorical adjunction, and we prove a duality between finitely presented algebras and rational polyhedra.
引用
收藏
页码:6213 / 6223
页数:10
相关论文
共 21 条
  • [11] Leustean I(1951)A theorem about infinite-valued sentential logic J Symb Log 16 1-13
  • [12] Di Nola A(2000)An algebraic approach to propositional fuzzy logic J Log Lang Inf 9 91-124
  • [13] Leuştean I(1986)Interpretation of ACF*-algebras in Łukasiewicz sentential calculus J Funct Anal 65 15-63
  • [14] Gerla B(1999)Tensor products and the Loomis-Sikorski theorem for MV-algebras Adv Appl Math 22 227-248
  • [15] Marra V(2002)Max-min representation of piecewise linear functions Beiträge zur Algebra und Geometrie - Contrib Algebra Geom 43 297-302
  • [16] Spada L(undefined)undefined undefined undefined undefined-undefined
  • [17] McNaughton R(undefined)undefined undefined undefined undefined-undefined
  • [18] Montagna F(undefined)undefined undefined undefined undefined-undefined
  • [19] Mundici D(undefined)undefined undefined undefined undefined-undefined
  • [20] Mundici D(undefined)undefined undefined undefined undefined-undefined