Algebras on subintervals of BL-algebras, pseudo BL-algebras and bounded residuated -monoids
Algebre di Łukasiewicz quasi-locali Stoneane
We prove some properties of quasi-local Ł-algebras. These properties allow us to give a structure theorem for Stonean quasi-local Ł-algebras. With this characterization we are able to exhibit an example which provides a negative answer to the first problem posed in [4].
All subvarieties of have finite bases of identities.
Almost finite-valued -groups
Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras
We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements....
Almost principal element lattices.
Almost -lattices
In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.
An algebraic treatment of flow diagrams and its application to generalized recursion theory
An equivalency problem in discrete programming over ordered semigroups.
An infinite collection of absolutely convex subgroups
An investigation on hyperS-posets over ordered semihypergroups
In this paper, we define and study the hyper S-posets over an ordered semihypergroup in detail. We introduce the hyper version of a pseudoorder in a hyper S-poset, and give some related properties. In particular, we characterize the structure of factor hyper S-posets by pseudoorders. Furthermore, we introduce the concepts of order-congruences and strong order-congruences on a hyper S-poset A, and obtain the relationship between strong order-congruences and pseudoorders on A. We also characterize...
An -algebra approach to Artin’s solution of Hilbert’s Seventeenth Problem
Using lattice-ordered algebras it is shown that a totally ordered field which has a unique total order and is dense in its real closure has the property that each of its positive semidefinite rational functions is a sum of squares.
An order topology for finitely generated free monoids.
An ordered structure of pseudo-BCI-algebras
In Chajda's paper (2014), to an arbitrary BCI-algebra the author assigned an ordered structure with one binary operation which possesses certain antitone mappings. In the present paper, we show that a similar construction can be done also for pseudo-BCI-algebras, but the resulting structure should have two binary operations and a set of couples of antitone mappings which are in a certain sense mutually inverse. The motivation for this approach is the well-known fact that every commutative BCK-algebra...
An up-spectral space need not be -spectral.
Angeordnete affine Klingenbergsche Ebenen
Angeordnete affine lokale Ternärringe und angeordnete affine Klingenbergsche Ebenen
Annihilators in BCK-algebras
We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice of all deductive systems on . Moreover, relative annihilators of with respect to are introduced and serve as relative pseudocomplements of w.r.t. in .
Annihilators in normal autometrized algebras
The concepts of an annihilator and a relative annihilator in an autometrized -algebra are introduced. It is shown that every relative annihilator in a normal autometrized -algebra is an ideal of and every principal ideal of is an annihilator of . The set of all annihilators of forms a complete lattice. The concept of an -polar is introduced for every ideal of . The set of all -polars is a complete lattice which becomes a two-element chain provided is prime. The -polars are characterized...
Annihilators on weakly standard BCC-algebras.