Isomorphisms in EQ-Algebras

Abstract

In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a correspondence theorem. Next, using some results of the theory of universal algebra we characterize subdirectly irreducible EQ-algebras.

Keywords

• many-valued logics
• fuzzy type theory
• eq-algebra
• homomorphism theorems
• 03b15
• 08a72