Epistemic MV-algebras

MANUELA BUSANICHE; PENÉLOPE CORDERO; RICARDO O. RODRIGUEZ

Berna

Conferencia; LADT2018; 2018

Universidad de Berna

We generalize the notion of monadic MV-algebras to that of a Epistemic MV-algebras.As monadic MV-algebras serve as algebraic models of modal logic S5(L), we propose epistemic MV-algebras as algebraic models of modal system KD45( L). The main contributions of this presentation are two: 1) we oer a characterization of epistemic MV-algebras as pairs of MV-algebras where B is a special case of relatively complete subalgebra of A called c-relatively complete. We also give a necessary and sucient condition for a subalgebra to be c-relatively complete; 2) we study the complex MV-algebras over MV chains and we determinate its connection with a simplied version of Kripke semantics.Furthermore, we analysis the relation between complex MV-chains and the modal logic given by an MV-chain studied by Bou et al..