Results 1 to 10 of about 85 (58)
Class of Sheffer stroke BCK-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 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
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
Spherical designs from norm-3 shell of integral lattices [PDF]
, 2009 A set of vectors all of which have a constant (non-zero) norm value in an Euclidean lattice is called a shell of the lattice. Venkov classified strongly perfect lattices of minimum 3 (R\'{e}seaux et "designs" sph\'{e}rique, 2001), whose minimal shell is ...
Shigezumi, Junichi
core +5 more sources
Regular and Boolean elements in hoops and constructing Boolean algebras using regular filters
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023 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
FUZZY IMPLICATIVE IDEALS OF SHEFFER STROKE BG-ALGEBRAS [PDF]
, 2021 In this paper, Sheffer stroke BG-algebra is given. After determining a fuzzy ideal of Sheffer stroke BG-algebra, some properties are presented. Then a fuzzy implicative and a sub-implicative ideals of a Sheffer stroke BG-algebra are described.
Kalkan, Tugce +3 more
core +1 more source
Priestley duality for MV-algebras and beyond [PDF]
, 2021 We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations
Fussner W. +3 more
core +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
Chain Polytopes and Algebras with Straightening Laws [PDF]
, 2015 It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice.
Hibi, Takayuki, Li, Nan
core +1 more source
, 2016 In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the ...
Cornejo, Juan M. +1 more
core +2 more sources