Results 61 to 70 of about 1,355,110 (115)

On BCK, BCI-Algebra

, 1981
본 연구에서는 수학적 구조 가운데서 대수적 구조의 한 분야인 BCK-대수와 BCI-대수에 대하여 다음 사항들을 알아보았다. (1) BCK-대수를 소개하고 몇 가지 예를 들었다. (2) BCK-대수의 성질 가운데서 ideal, implicative ideal, Kernel에 관한 간단한 성질들을 증명하여 보았다. (3) BCK-대수 사이의 homomorphism을 살피고 이것에서 유도되는 정리들을 증명하여 보았다.
안희진
core   +1 more source

Hyper pseudo BCK-algebras with conditions (S) and (P)

, 2014
In this paper, two conditions on hyper pseudo BCK -algebras, namely (S) and (P) are introduced and some related properties are investigated. Also, the notions of additive and Varlet hyper pseudo BCK-ideals of a hyper pseudo BCK -algebra are defined and ...
Kavitha A/P Nardarajan
core  

Normal pseudo-BCK-algebras [PDF]

, 2011
A normal pseudo-BCK-algebra \(X\) is an algebra in which every subalgebra of \(X\) is an ideal of \(X\).
Dymek, Grzegorz
core   +1 more source

Closed Ideal with Respect a Binary Operation * On BCK-Algebra [PDF]

, 2017
In this paper, we define a new ideal of BCK-algebra, we call it a closed ideal with respect a binary operation ∗, and denoted by (∗ -closed ideal). We stated and proved some properties on closed ideal and give some examples on it. Indexing Terms/Keywords:
Naser, Rusul Hassan, Wahab, Azal Taha Abdul, Ali, Zahraa M.   +2 more
core   +1 more source

PRIME WEAK HYPER BCK-IDEALS OF LOWER HYPER BCK-SEMI LATTICE

, 2008
. In this manuscript, we introduce the concept of a prime weak hyper BCKideal of a lower hyper BCK-semi lattice and consider its property. Also, we introduce the concept of an irreducible weak hyper BCK-ideal of a lower hyper BCK-semi lattice and ...
Online, Japonicae Scientiae Mathematicae
core  

Quasi-valuation maps based on positive implicative ideals in BCK-algebras [PDF]

, 2018
The notion of PI-quasi-valuation maps of a BCK-algebra is introduced, and related properties are investigated. The relationship between an I-quasi-valuation map and a PI-quasivaluation map is examined.
Young Bae Jun, Seok Zun Song, Kyoung Ja Lee   +2 more
core   +2 more sources

Deductive systems of BCK-algebras [PDF]

, 2004
summary:In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra.
Celani, Sergio A., Celani, Sergio Arturo
core   +1 more source

On the BCK-algebra

, 1978
In this paper, we will study a new class of algebra called a BCK-algebra which was introduced by K. Iyoshi Iseki. We will begin with definitions of this algebra which satisfies the following conditions : Let X be an abstract set with two binary ...
심홍임
core   +1 more source

(A) study on BCK-ALGEBRA

, 1978
現代數學은 아무 속성도 갖고 있지 않는 어떤 대상들의 집합에다 公理에 의하여 속성을 부여하는 公理論的 方法에 의하여 재편성되고 있다. 따라서 數學的 體系가 지니고 있는 다양하고도 複雜한 여러가지 數學的 性質을 몇개의 공리로 집약하는 과정에서, 우리는 必然的으로 그 체계의 본질을 보다 깊이 把握할 수 있게되며, 이 수학적 체계의 構造가 明白히 들어나게 된다. 結局 現代數學은 個個의 수학적 체계의 구조들 사이의 상호관련성을 연구한 시기라 볼 수 있다.
金孝淑.
core   +1 more source

CATEGORY OF HYPER BCK-ALGEBRAS

, 2020
In this paper we first define the category of hyper BCK-algebras. After that we show that the category of hyper BCK-algebras is connected, factorisable and has equalizers, coequalizers, products, coproducts, intersection and kernel.
H. Harizavi, et al.
core