Results 11 to 20 of about 34 (34)
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
On n‐fold implicative filters of lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, Volume 26, Issue 11, Page 695-699, 2001., 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. Finally, we construct an extension property for n‐fold implicative filter.
Young Bae Jun
wiley +1 more source
Some operations on lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, Volume 27, Issue 1, Page 45-52, 2001., 2001 We introduce the concept of a ⊗‐closed set and a ⊗‐homomorphism in lattice implication algebras, and we discuss some of their properties. Next, we introduce the fuzzy implicative filter and obtain equivalent conditions. Finally, we discuss the operation ⊗, fuzzy filters and fuzzy implicative filters.
E. H. Roh +3 more
wiley +1 more source
Hyperfinite and standard unifications for physical theories
International Journal of Mathematics and Mathematical Sciences, Volume 28, Issue 2, Page 93-102, 2001., 2001 A set of physical theories is represented by a nonempty subset {SNjV|j∈ℕ} of the lattice of consequence operators defined on a language Λ. It is established that there exists a unifying injection 𝒮 defined on the nonempty set of significant representations for natural systems M ⊂ Λ. If W ∈ M, then 𝒮W is a hyperfinite ultralogic and ⋃{SNjV(W)|j∈ℕ}=𝒮W(*W)
Robert A. Herrmann
wiley +1 more source
(In)Security of Ring-LWE Under Partial Key Exposure
Journal of Mathematical Cryptology, 2020 We initiate the study of partial key exposure in Ring-LWE (RLWE)-based cryptosystems. Specifically, we (1) Introduce the search and decision Leaky R-LWE assumptions (Leaky R-SLWE, Leaky R-DLWE), to formalize the hardness of search/decision RLWE under ...
Dachman-Soled Dana +3 more
doaj +1 more source
Fantastic filters of lattice implication algebras
International Journal of Mathematics and Mathematical Sciences, Volume 24, Issue 4, Page 277-281, 2000., 2000 The notion of a fantastic filter in a lattice implication algebra is introduced, and the relations among filter, positive implicative filter, and fantastic filter are given. We investigate an equivalent condition for a filter to be fantastic, and state an extension property for fantastic filter.
Young Bae Jun
wiley +1 more source
Rough sets based on fuzzy ideals in distributive lattices
Open Mathematics, 2020 In this paper, we present a rough set model based on fuzzy ideals of distributive lattices. In fact, we consider a distributive lattice as a universal set and we apply the concept of a fuzzy ideal for definitions of the lower and upper approximations in ...
Yang Yongwei, Zhu Kuanyun, Xin Xiaolong
doaj +1 more source
New topology in residuated lattices
Open Mathematics, 2018 In this paper, by using the notion of upsets in residuated lattices and defining the operator Da(X), for an upset X of a residuated lattice L we construct a new topology denoted by τa and (L, τa) becomes a topological space.
Holdon L.C.
doaj +1 more source
f-Fixed Points of Isotone f-Derivations on a Lattice
Discussiones Mathematicae - General Algebra and Applications, 2019 In a recent paper, Çeven and Öztürk have generalized the notion of derivation on a lattice to f-derivation, where f is a given function of that lattice into itself.
Zedam Lemnaouar +2 more
doaj +1 more source