Filters of -algebras.
Jun, Young Bae, Lianzhen, Liu (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Jun, Young Bae, Lianzhen, Liu (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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.
Jun, Young Bae (2001)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Francis Borceux, Maria-Cristina Pedicchio (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Akbar Paad (2024)
Mathematica Bohemica
Similarity:
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed...
Ivan Chajda, Radomír Halaš, Josef Zedník (1998)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Zvonimir Šikić (2020)
Bulletin of the Section of Logic
Similarity:
We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.
Jan Waszkiewicz (1970)
Colloquium Mathematicae
Similarity:
Kamal Boussaf, Alain Escassut (1995)
Annales mathématiques Blaise Pascal
Similarity:
Dumitru Buşneag, Florentina Chirteş (2007)
Open Mathematics
Similarity:
For an n-valued Łukasiewicz-Moisil algebra L (or LM n-algebra for short) we denote by F n(L) the lattice of all n-filters of L. The goal of this paper is to study the lattice F n(L) and to give new characterizations for the meet-irreducible and completely meet-irreducible elements on F n(L).