Results 11 to 20 of about 573,333 (238)
Positive implicative ordered filters of implicative semigroups [PDF]
International Journal of Mathematics and Mathematical Sciences, 2000 We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter.
Young Bae Jun, Kyung Ho Kim
doaj +2 more sources
Fuzzy positive implicative ordered filters of implicative semigroups
International Journal of Mathematics and Mathematical Sciences, 2002 We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter.
Young Bae Jun +2 more
doaj +2 more sources
Implicative Int-Soft Filters of R0-Algebras [PDF]
Discrete Dynamics in Nature and Society, 2013 The notion of implicative int-soft filters is introduced, and related properties are investigated. A relation between an int-soft filter and an implicative int-soft filter is discussed, and conditions for an int-soft filter to be an implicative int-soft ...
Young Bae Jun +2 more
doaj +2 more sources
On n-fold implicative filters of lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, 2001 We introduce the notion of n-fold implicative filters and n-fold implicative lattice implication algebras. We give characterizations of n-fold implicative filters and n-fold implicative lattice implication algebras.
Young Bae Jun
doaj +2 more sources
Some results on ordered filters of implicative semigroups
International Journal of Mathematics and Mathematical Sciences, 2001 We introduce a special set in an implicative semigroup. Using it, an equivalent condition of an ordered filter is stated. We prove that an ordered filter can be represented by the union of such sets.
Young Bae Jun
doaj +2 more sources
On Implicative and Positive Implicative GE Algebras [PDF]
, 2023 GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras.
Andrzej Walendziak, Walendziak, Andrzej
core +2 more sources
ON SEMI MAXIMAL FILTERS IN BL-ALGEBRAS [PDF]
Journal of Algebraic Systems, 2019 In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras.
Akbar Paad, R. A. Borzooei
doaj +1 more source
Neutrosophic implicative UP-filters, neutrosophic comparative UP-filters, and neutrosophic shift UP-filters of UP-algebras [PDF]
Neutrosophic Sets and Systems, 2021 The notions of neutrosophic UP-subalgebras, neutrosophic near UP-filters, neutrosophic UP-filters, neutrosophic UP-ideals, and neutrosophic strong UP-ideals were introduced by Songsaeng and Iampan [M. Songsaeng, A. Iampan, Neutrosophic set theory applied
Metawee Songsaeng +3 more
doaj +1 more source
Vague Positive Implicative And Associative W-implicative Ideals Of Lattice Wajsberg Algebras [PDF]
, 2022 In this paper, we introduce the definitions of the vague positive implicative W-implicative ideal and the vague associative W-implicative ideal of lattice Wajsberg algebra.
Abdul, Ibrahim, Mohamed Rajik, M.
core +1 more source
Implicative algebras and their relationship with triposes [PDF]
, 2023 openL'elaborato intende affrontare un'analisi delle "implicative algebras" (IA) -introdotte da Alexandre Miquel in "Implicative algebras: a new foundation for realizability and forcing"- con particolare riferimento alle loro relazioni con il concetto di ...
POZZAN, ELENA
core