Title of article :
Modal representation of coalgebras over local BL-algebras
Author/Authors :
Nganteu ، C. Department of Mathematics, Laboratory of Algebra - Faculty of sciences - University of Yaounde 1 , Kianpi ، M. Department of mathematics, Laboratory of Algebra - Faculty of sciences - University of Yaounde 1 , Amassayoga ، O. Department of mathematics, Laboratory of Algebra - faculty of sciences - University of Yaounde 1
Abstract :
We consider the category Coalg(∏) of ∏-coalgebras where ∏ is the endofunctor on the category of local BL-algebras and L-morphisms which assigns to each local BL-algebra its quotient by its unique maximal filter and we characterize homomorphisms and subcoalgebras in Coalg(∏) . Moreover, we introduce local BL-frames based on local BL-algebras, and show that the category of local BL-frames is isomorphic to Coalg(∏).
Keywords :
Kripke frame , coalgebra , local BL , algebra
Journal title :
Journal of Algebraic Hyperstructures and Logical Algebras
Journal title :
Journal of Algebraic Hyperstructures and Logical Algebras
