Properties of Homomorphism and Quotient Implication Algebra on Implication Algebras

Abstract

The concept of homomorphisms on implication algebra is introduced. The notion of sub algebras, normal subalgebras in an implication algebra are investigated. Quotient implication algebras and kernels in an implication algebra ,and Homomorphisms and isomorphism theorems are elaborated.