Results 61 to 70 of about 107 (100)

Extended upper sets in BE-algebras

, 2011
As a generalization of a BCK-algebra, a BE-algebras was introduced. In this paper, we investigate several properties of upper sets in BE-algebras, and we introduce more extended upper sets of BE-algebras, and obtain some relations with filters of BE ...
Husna Zayadi
core  

The Sheffer stroke operation reducts of basic algebras

Open Mathematics, 2017
In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras.
Oner Tahsin, Senturk Ibrahim
doaj   +1 more source

Relational Methods in Logic, Language and Information

, 2007
This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in the area.
Patrick Blackburn, Yde Venema, Maarten De Rijke   +2 more
core  

Introducing Fully Up-Semigroups

Discussiones Mathematicae - General Algebra and Applications, 2018
In this paper, we introduce some new classes of algebras related to UP-algebras and semigroups, called a left UP-semigroup, a right UP-semigroup, a fully UP-semigroup, a left-left UP-semigroup, a right-left UP-semigroup, a left-right UP-semigroup, a ...
Iampan Aiyared
doaj   +1 more source

Residuated Structures Derived from Commutative Idempotent Semirings

Discussiones Mathematicae - General Algebra and Applications, 2019
Since the reduct of every residuated lattice is a semiring, we can ask under what condition a semiring can be converted into a residuated lattice. It turns out that this is possible if the semiring in question is commutative, idempotent, G-simple and ...
Chajda Ivan, Länger Helmut
doaj   +1 more source

A topology related to implication and upsets on a bounded BCK-algebra

Open Mathematics
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]

Soft comput, 2020
Chajda I, Halaš R, Länger H.
europepmc   +1 more source

Topological Up-Algebras

Discussiones Mathematicae - General Algebra and Applications, 2019
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

Completely Closed Filter in BN -Algebra

InPrime
A BN-algebra (A; *,0) is a non-empty set A equipped with a binary operation * and a constant 0, which satisfies the following axioms: (B1) a*a=0, (B2) a*0=a, and (BN) (a*b)*c=(0*c)*(b*a) for all a,b,c ∈A.
Andi Rio Ramadhan, Sri Gemawati, Kartini Kartini   +2 more
doaj   +1 more source

Some properties of epimorphisms of Hilbert algebras

Open Mathematics, 2010
Buşneag Dumitru, Ghiţă Mircea
doaj   +1 more source