Results 11 to 20 of about 65 (65)
Flattening NTRU for Evaluation Key Free Homomorphic Encryption
We propose a new FHE scheme F-NTRU that adopts the flattening technique proposed in GSW to derive an NTRU based scheme that (similar to GSW) does not require evaluation keys or key switching.
Doröz Yarkın, Sunar Berk
doaj +1 more source
On n‐fold implicative filters of lattice implication algebras
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
Regular and Boolean elements in hoops and constructing Boolean algebras using regular filters
We study hoops in order to give some new characterizations for regular and Boolean elements in hoops and we study the relationship between them. Specially, we prove that any bounded v-hoop is a Stone algebra if and only if MV -center set and Boolean ...
Aaly Kologani M. +2 more
doaj +1 more source
Some operations on lattice implication algebras
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
New topology in residuated lattices
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
(In)Security of Ring-LWE Under Partial Key Exposure
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
Class of Sheffer stroke BCK-algebras
In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent.
Oner Tahsin +2 more
doaj +1 more source
Hyperfinite and standard unifications for physical theories
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
f-Fixed Points of Isotone f-Derivations on a Lattice
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
Rough sets based on fuzzy ideals in distributive lattices
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

