Soju Filters in Hoop Algebras
Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani, Young Bae Jun (2021)
Bulletin of the Section of Logic
Similarity:
The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.