Abstract
Abstract EQ-algebras were introduced by Novák in [14] as an algebraic structure of truth values for fuzzy type theory (FFT). In [1], Borzooei et. al. introduced the notion of preideal in bounded EQ-algebras. In this paper, we introduce various kinds of preideals on bounded EQ-algebras such as Λ-prime, ⊗-prime, ∩-prime, ∩-irreducible, maximal and then we investigate some properties and the relations among them. Specially, we prove that in a prelinear and involutive bounded EQ-algebra, any proper preideal is included in a Λ-prime preideal. In the following, we show that the set of all Λ-prime preideals in a bounded EQ-algebra is a T 0 space and under some conditions, it is compact, connected, and Hausdor. Moreover, we show that the set of all maximal preideals of a prelinear involutive bounded EQ-algebra is an Uryshon (Hausdor) space and for a finite EQ-algebra, it is T 3 and T 4 space. Finally, we introduce a contravariant functor from the categories of bounded EQ-algebras to the category of topological spaces.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Analele Universitatii "Ovidius" Constanta - Seria Matematica
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
