Results 51 to 60 of about 107 (100)

© Hindawi Publishing Corp. ON THE CLASS OF QS-ALGEBRAS [PDF]

, 2003
We consider some fundamental properties of QS-algebras and show that (1) the theory of QS-algebras is logically equivalent to the theory of Abelian groups, that is, each theorem of QS-algebras is provable in the theory of Abelian groups, and conversely ...
Michiro Kondo
core  

Geometrical representation theorems for cylindric-type algebras

, 2020
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can ...
Ahmed, Tarek Sayed, Khaled, Mohamed
core  

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, Katican Tugce, Saeid Arsham Borumand, Terziler Mehmet   +3 more
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

On residuated n-lattice

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica
In this paper, we introduce residuated n-lattice: a variety of residuated semigroup equipped with binary hyperoperations n-sup and n-inf. We define the left bound, right bound, n-supremum, n-infimum, maximum and minimum with respect to it′s relation.
Zahiri Saeide, Saeid Arsham Borumand
doaj   +1 more source

The Up-Isomorphism Theorems for Up-Algebras

Discussiones Mathematicae - General Algebra and Applications, 2019
In this paper, we construct the fundamental theorem of UP-homomorphisms in UP-algebras. We also give an application of the theorem to the first, second, third and fourth UP-isomorphism theorems in UP-algebras.
Iampan Aiyared
doaj   +1 more source

An Injective Pseudo-BCI Algebra is Trivial

Discussiones Mathematicae - General Algebra and Applications, 2019
Injective pseudo-BCI algebras are studied. There is shown that the only injective pseudo-BCI algebra is the trivial one.
Dymek Grzegorz
doaj   +1 more source

Generalized state maps and states on pseudo equality algebras

Open Mathematics, 2018
In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y.
Cheng Xiao Yun, Xin Xiao Long, He Peng Fei   +2 more
doaj   +1 more source

Promocijas darbs [PDF]

Elektroniskā versija nesatur pielikumusŠajā disertācijā tiek pētīti vairāki daļējie sakārtojumi noteiktās (iespējams, vienpusēju) Rikarta gredzenu klasēs, kurās ir spēkā kāds nosacījums, kas nodrošina, ka gredzens, kuram var nebūt involūcija, dažos ...
Cremer, Insa Ingeborg Charlotte
core  

State maps on semihoops

Open Mathematics, 2018
In this paper, we introduce the notion of state maps from a semihoop H1 to another semihoop H2, which is a generalization of internal states (or state operators) on a semihoop H.
Fu Yu Long, Xin Xiao Long, Wang Jun Tao
doaj   +1 more source