An Algebraic Approach to States on MV-algebras.
作者： Franco Montagna , Tommaso Flaminio
DOI:
关键词:
摘要: In this paper we will introduce the variety of state MV-algebras by enlarging language with an unary operator σ, and adding equations ensuring σ to satisfy some basic properties a on MV-algebra in sense [4]. The main result says us that there is standard way define starting from vice-versa, each defines its usual meaning.
参考文章(4)
Daniele Mundici, Bookmaking over infinite-valued events International Journal of Approximate Reasoning. ,vol. 43, pp. 223- 240 ,(2006) , 10.1016/J.IJAR.2006.04.004
Daniele Mundici, Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras Advances in Applied Mathematics. ,vol. 22, pp. 227- 248 ,(1999) , 10.1006/AAMA.1998.0631
Daniele Mundici, Averaging the truth-value in Łukasiewicz logic Studia Logica. ,vol. 55, pp. 113- 127 ,(1995) , 10.1007/BF01053035
Petr Hájek, Metamathematics of Fuzzy Logic ,(1998)