Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops

<abstract><p>In this paper, we define the notions of intuitionistic fuzzy filters and intuitionistic fuzzy implicative (positive implicative, fantastic) filters on hoops. Then we show that all intuitionistic fuzzy filters make a bounded distributive lattice. Also, by using intuitionistic fuzzy filters we introduce a relation on hoops and show that it is a congruence relation, then we prove that the algebraic structure made by it is a hoop. Finally, we investigate the conditions that quotient structure will be different algebras of logics such as Brouwerian semilattice, Heyting algebra and Wajesberg hoop.</p></abstract>

Fuzzy Positive Implicative Filters of Hoops Based on Fuzzy Points

In this paper, we introduce the notions of ( ∈ , ∈ ) -fuzzy positive implicative filters and ( ∈ , ∈ ∨ q ) -fuzzy positive implicative filters in hoops and investigate their properties. We also define some equivalent definitions of them, and then we use the congruence relation on hoop defined in blue[Aaly Kologani, M.; Mohseni Takallo, M.; Kim, H.S. Fuzzy filters of hoops based on fuzzy points. Mathematics. 2019, 7, 430; doi:10.3390/math7050430] by using an ( ∈ , ∈ ) -fuzzy filter in hoop. We show that the quotient structure of this relation is a Brouwerian semilattice.