Results 1 to 10 of about 251 (71)
Representation and Construction of Intuitionistic Fuzzy 𝒯 -Preorders and Fuzzy Weak 𝒯 -Orders
Discussiones Mathematicae - General Algebra and Applications, 2021 In this paper, we consider the problem of representation and construction of intuitionistic fuzzy preorders and weak orders, where many fundamental representation results extending those of Ulrich Bodenhofer et al. are presented.
Ziane Brahim, Amroune Abdelaziz
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2021 In this paper, we introduce Sheffer Stroke UP-algebra (in short, SUP-algebra) and study its properties. We demonstrate that the Cartesian product of two SUP-algebras is a SUP-algebra.
Oner Tahsin +2 more
doaj +1 more source
Towards a Ring Analogue of the Leftover Hash Lemma
Journal of Mathematical Cryptology, 2020 The leftover hash lemma (LHL) is used in the analysis of various lattice-based cryptosystems, such as the Regev and Dual-Regev encryption schemes as well as their leakage-resilient counterparts. The LHL does not hold in the ring setting, when the ring is
Dachman-Soled Dana +3 more
doaj +1 more source
n-Fold Fantastic and n-Fold Involutive Ideals in Bounded Commutative Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper, we introduce the concepts of n-fold obstinate ideals, n-fold normal ideals, n-fold fantastic ideals and n-fold involutive ideals in residuated lattices, state and prove some of their properties.
Yinga Fabrice Tchoua +2 more
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2022 In this paper we introduce Sheffer stroke BE-algebras (briefly, SBE-algebras) and investigate a relationship between SBE-algebras and BE-algebras. By presenting a SBE-filter, an upper set and a SBE-subalgebra on a SBE-algebra, it is shown that any SBE ...
Katican Tugce +2 more
doaj +1 more source
On Tarski's fixed point theorem [PDF]
, 2014 A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.Comment: Proc. Amer. Math.
Curi, Giovanni
core +1 more source
Filters of strong Sheffer stroke non-associative MV-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, at first we study strong Sheffer stroke NMV-algebra. For getting more results and some classification, the notions of filters and subalgebras are introduced and studied.
Oner Tahsin +3 more
doaj +1 more source
Residuated skew lattices with modal operator
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023 In this paper, we define modal operators in residuated skew lattices and prove some fundamental properties of monotone modal operators on residuated skew lattices (RSL). We prove that the composition of two modal operators is a modal operator if and only
Koohnavard Roghayeh +1 more
doaj +1 more source
The best possible unification for any collection of physical theories
International Journal of Mathematics and Mathematical Sciences, Volume 2004, Issue 17, Page 861-872, 2004., 2004 We show that the set of all finitary consequence operators defined on any nonempty language is a join‐complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted standard supremum unification. An unrestricted hyperfinite ultralogic unification for sets of physical theories is also obtained.
Robert A. Herrmann
wiley +1 more source
The prime filter theorem of lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, Volume 25, Issue 2, Page 115-118, 2001., 2001 Using a special set x−1F, we give an equivalent condition for a filter to be prime, and applying this result, we provide the prime filter theorem in lattice implication ...
Young Bae Jun
wiley +1 more source