作者: A. Di Nola , A. Dvurečenskij , A. Lettieri
DOI: 10.1016/J.IJAR.2010.01.017
关键词:
摘要: In [4,5] the authors introduced variety SMV of MV-algebras with an internal operator, state MV-algebras. [2,3] gave a stronger version MV-algebras, called state-morphism this paper we continue studies presented in just looking at several proper subvarieties SMV, obtained by imposing suitable conditions on behavior operator.