Results 51 to 60 of about 367 (102)
A New Fixed‐Point Framework for Nonexpansive and Averaged Mappings in Normed GE‐Algebras
Journal of Mathematics, Volume 2026, Issue 1, 2026.In this paper, we develop a systematic framework for studying fixed‐point theory in the setting of normed GE‐algebras. Building on the GE‐norm, we introduce and analyze nonexpansive mappings, α‐averaged mappings, and enriched contractions with respect to the quasimetric induced by the GE‐norm.
Prashant Patel +3 more
wiley +1 more source
Relationship between ideals of BCI‐algebras and order ideals of its adjoint semigroup
International Journal of Mathematics and Mathematical Sciences, Volume 28, Issue 9, Page 535-543, 2001., 2001 We consider the relationship between ideals of a BCI‐algebra and order ideals of its adjoint semigroup. We show that (1) if I is an ideal, then I = M−1(M(I)), (2) M(M−1(J)) is the order ideal generated by J∩R(X), (3) if X is a BCK‐algebra, then J = M(M−1(J)) for any order ideal J of X, thus, for each BCK‐algebra X there is a one‐to‐one correspondence ...
Michiro Kondo
wiley +1 more source
Fuzzy associative ℐ‐ideals of IS‐algebras
International Journal of Mathematics and Mathematical Sciences, Volume 24, Issue 11, Page 729-735, 2000., 2000 We fuzzify the concept of an associative ℐ‐ideal in an IS‐algebra. We give a relation between a fuzzy ℐ‐ideal and a fuzzy associative ℐ‐ideal, and we investigate some related properties.
Eun Hwan Roh +2 more
wiley +1 more source
Intuitionistic fuzzy ideals of BCK‐algebras
International Journal of Mathematics and Mathematical Sciences, Volume 24, Issue 12, Page 839-849, 2000., 2000 We consider the intuitionistic fuzzification of the concept of subalgebras and ideals in BCK‐algebras, and investigate some of their properties. We introduce the notion of equivalence relations on the family of all intuitionistic fuzzy ideals of a BCK‐algebra and investigate some related properties.
Young Bae Jun, Kyung Ho Kim
wiley +1 more source
Some decompositions of filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana +2 more
doaj +1 more source
Relation Between Be-Algebras and G-Hilbert Algebras
Discussiones Mathematicae - General Algebra and Applications, 2018 Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
Strong fuzzy GE-filters and fuzzy GE-ideals of bordered GE-algebras
Topological Algebra and its Applications, 2023 The notion of strong fuzzy generalized exchange (GE)-filters and fuzzy GE-ideals of bordered GE-algebras is studied, and their related properties are investigated.
Alemayehu Teferi Getachew +3 more
doaj +1 more source
C-system of a module over a monad on sets [PDF]
, 2014 This is the second paper in a series that aims to provide mathematical descriptions of objects and constructions related to the first few steps of the semantical theory of dependent type systems. We construct for any pair $(R,LM)$, where $R$ is a monad
Voevodsky, Vladimir
core
On fuzzy BCC-ideals over a t-norm [PDF]
, 2000 Using a t-norm T, the notion of T-fuzzy BCC-ideals of BCC-algebras is introduced, and some of their properties are investigated.
W. A. Dudek, Y. B. Jun
core
, 2013 The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.
Panti, Giovanni, Ravotti, Davide
core +1 more source