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
From page
51
To page
62
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
Record number
2741152
Link To Document