Abstract
Flaminio and Montagna were the first to present a unified approach to states and probabilistic many-valued logic in a logical and algebraic setting (Flaminio and Montagna, Inter J Approx Reason, 50:138–152, 2009, [95]). They added a unary operation, called internal state or state operator to the language of MV-algebras which preserves the usual properties of states. A more powerful type of logic can be given by algebraic structures with internal states, and they are also very interesting varieties of universal algebras. Di Nola and Dvurecenskij introduced the notion of a state-morphism MV-algebra which is a stronger variation of a state MV-algebra (Di Nola and Dvurecenskij, Ann Pure Appl Logic 161:161–173, 2009, [65]). The notion of a state operator was extended by Rachunek and Salounova in (Soft Comput 15:327–334, 2011, [196]) for the case of GMV-algebras (pseudo MV-algebras). State operators and state-morphism operators on BL-algebras were introduced and investigated in Ciungu et al. (Soft Comput 15:619–634, 2011, [57]), and subdirectly irreducible state-morphism BL-algebras were studied in Dvurecenskij (Arch Math Logic 50:145–160, 2011, [89]). Recently, the state BCK-algebras and state-morphism BCK-algebras were defined and studied in Borzooei et al. (State BCK-algebras and state-morphism BCK-algebras, 2013, [22]).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Mukkamala, S.R. (2018). State BE-algebras. In: A Course in BE-algebras. Springer, Singapore. https://doi.org/10.1007/978-981-10-6838-6_10
Download citation
DOI: https://doi.org/10.1007/978-981-10-6838-6_10
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-6837-9
Online ISBN: 978-981-10-6838-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)