状态BL-代数
逻辑
2009-10-22 v2
摘要
状态MV-代数的概念最初由Flaminio和Montagna在文献[FlMo0]和[FlMo]中引入，将其定义为具有作为一元运算的内部状态的MV-代数。Di Nola和Dvurečenskij在文献[DiDV1]和[DiDV2]中给出了状态MV-代数的一个更强版本。在本文中，我们引入了状态BL-代数的概念，更准确地说，是具有内部状态的BL-代数。我们提出了不同类型的状态BL-代数，如强状态BL-代数和状态同态BL-代数，并研究了状态BL-代数的一些类。此外，我们给出了一些重要的状态BL-代数实例，并提出了一些开放问题。
引用
@article{arxiv.0907.3268,
title = {State BL-algebras},
author = {Lavinia Corina Ciungu and Anatolij Dvurečenskij and Marek Hyčko},
journal= {arXiv preprint arXiv:0907.3268},
year = {2009}
}