Scifaro

中文

正MV代数的有限公理化

逻辑 2022-06-29 v3

作者: Marco Abbadini , Peter Jipsen , Tomáš Kroupa , Sara Vannucci

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

正MV代数是 MV代数关于符号 $\{\oplus, \odot, \lor, \land, 0, 1\}$ 的子约化。我们为这类代数提供了一个有限拟等式公理化。

关键词

正MV代数 MV代数子约化有限公理化拟等式逻辑

引用

@article{arxiv.2112.03190,
  title  = {A finite axiomatization of positive MV-algebras},
  author = {Marco Abbadini and Peter Jipsen and Tomáš Kroupa and Sara Vannucci},
  journal= {arXiv preprint arXiv:2112.03190},
  year   = {2022}
}