Results 11 to 20 of about 305 (70)
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
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
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
A note on annihilators in distributive nearlattices
, 2015 In this note we propose a definition of relative annihilator in distributive nearlattices with greatest element different from that given in [6] and we present some new characterizations of the distributivity.
Ismael Calomino, S. Celani
semanticscholar +1 more source
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
CONSTRUCTION OF COMPLEX NESTED IDEAL LATTICES FOR COMPLEX-VALUED CHANNEL QUANTIZATION
, 2018 In this work we develop a new algebraic methodology which quantizes complex-valued channels in order to realize interference alignment (IA) onto a complex ideal lattice.
C. Watanabe
semanticscholar +1 more source
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
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