Results 81 to 90 of about 558 (113)
A topology related to implication and upsets on a bounded BCK-algebra
The main purpose of this article is to investigate a topology based on implication and upsets in a bounded BCK-algebra. First, we introduce a special kind of sets associated with implication and upsets in a bounded BCK-algebra, and some basic properties ...
Wu Supeng, Liu Hui, Yang Jiang
doaj +1 more source
The logic induced by effect algebras. [PDF]
Chajda I, Halaš R, Länger H.
europepmc +1 more source
In this paper, we introduce the notion of topological UP-algebras and several types of subsets of topological UP-algebras, and prove the generalization of these subsets.
Satirad Akarachai, Iampan Aiyared
doaj +1 more source
© Hindawi Publishing Corp. ON THE CLASS OF QS-ALGEBRAS [PDF]
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 +2 more sources
Some properties of epimorphisms of Hilbert algebras
Buşneag Dumitru, Ghiţă Mircea
doaj +1 more source
Hilbert algebras as implicative partial semilattices
Cīrulis Jānis
doaj +1 more source
In this article, we study relationships between closure operators and hoops. We investigate the properties of closure operators and hoop-homomorphism on hoops. We show that the image of a closure operator on a hoop is isomorphic to a quotient hoop.
Borzooei R.A. +3 more
doaj +1 more source
On Fuzzy Ideals of Subtraction Algebras
: In this paper, we introduce the notion of fuzzy interior ideal, fuzzy bi-ideal, intuitionistic fuzzy interior ideal and intuitionistic fuzzy bi-ideal of a subtraction semigroup.
Yılmaz Çeven, Zekiye Çiloğlu
doaj
Representation of Hilbert algebras and implicative semilattices
Celani Sergio
doaj +1 more source

