An Exploration of Ideals and Filters In Triangle Algebras

In the study of algebraic structures related to logical systems, Ideals and filters have different meanings and they are algebraic notions related to logical provable formulas. Unlike the classical Boolean lattice theory, ideals and filters are not dual notions in residuated lattices. An interesting subclass of residuated lattices is the class of triangle algebras, which is an equational representation of interval-valued residuated lattices that provides an algebraic framework for using closed intervals as truth values in fuzzy logic. The main aim of this article is to introduce and study the concept of ideals in triangle algebras and investigate the connection between ideals and filters. We first point out that the construction procedure for the filter generated by a subset of a triangle algebra established by Zahiri et al. is incorrect, and we proceed to give an alternative characterization.