论文标题
满足$(2x)^2 = 2(x^2)$的参与MTL-Elgebras的高度
Hyperstates of Involutive MTL-Algebras that Satisfy $(2x)^2 = 2(x^2)$
论文作者
论文摘要
MV-Elgebras状态一直是深入研究和概括尝试的对象。这项贡献的目的是为在完美和参与的MTL-Elgebras(简称IBP0-Elgebras)产生的多样性中为代数的前二角状态和代数高恒星提供初步研究。 Grounding on a recent result showing that IBP0-algebras can be constructed from a Boolean algebra, a prelinear semihoop and a suitably defined operator between them, our first investigation on states of prelinear semihoops will support and justify the notion of hyperstate for IBP0- algebras and will actually show that each such map can be represented by a probability measure on its Boolean skeleton, and a state on a适当定义的Abelian L组。
States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the variety generated by perfect and involutive MTL-algebras (IBP0-algebras for short). Grounding on a recent result showing that IBP0-algebras can be constructed from a Boolean algebra, a prelinear semihoop and a suitably defined operator between them, our first investigation on states of prelinear semihoops will support and justify the notion of hyperstate for IBP0- algebras and will actually show that each such map can be represented by a probability measure on its Boolean skeleton, and a state on a suitably defined abelian l-group.