Results 61 to 70 of about 323,407 (117)
Tomasz Kowalski THE BOTTOM OF THE LATTICE OF BCK-VARIETIES
The class of BCK-algebras, introduced in Imai & Iséki [1] as an algebraic counterpart of BCK-logic and extensively studied ever since, can be viewed (dually) as the class of all algebras A = 〈A; ˙−, 0 〉 of the type 〈2, 0 〉 such that A satisfies the ...
core
Component-by-component construction of good intermediate-rank lattice rules
It is known that the generating vector of a rank-1 lattice rule can be constructed component-by-component to achieve strong tractability error bounds in both weighted Korobov spaces and weighted Sobolev spaces.
Joe, Stephen, Kuo, Frances Y.
core +1 more source
Pseudo-BCK algebras as partial algebras
It is well-known that the representation of several classes of residuated lattices involves lattice-ordered groups. An often applicable method to determine the representing group (or groups) from a residuated lattice is based on partial algebras: the ...
Thomas Vetterlein
core
The paper contains an investigation of the notion of BCI-algebras and BCK-algebras. The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic ...
Tabuni, Muna
core
Quotient hyper pseudo BCK-algebras
In this paper, we first investigate some properties of the hyper pseudo BCK-algebras. Then we define the concepts of strong and reflexive hyper pseudo BCK-ideals and establish some relationships among them and the other types of hyper pseudo BCK-ideals ...
Koochakpoor, Tayebeh +2 more
core +1 more source
본 연구에서는 수학적 구조 가운데서 대수적 구조의 한 분야인 BCK-대수와 BCI-대수에 대하여 다음 사항들을 알아보았다. (1) BCK-대수를 소개하고 몇 가지 예를 들었다. (2) BCK-대수의 성질 가운데서 ideal, implicative ideal, Kernel에 관한 간단한 성질들을 증명하여 보았다. (3) BCK-대수 사이의 homomorphism을 살피고 이것에서 유도되는 정리들을 증명하여 보았다.
안희진
core
The bottom of the lattice of BCK-varieties
Confirming a conjecture of Pałasiński and Wroński, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.This is an inessentially altered version of the original article.
Kowalski, Tomasz
core
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
IDENTITAS MINIMAL VARIASI PADA ALJABAR-BCK QUASIKOMUNITATIF [PDF]
KELAS-KELAS DARI ALJABAR-BCK ANTARA LAIN : ALJABAR-BCK KOMUTATIF, IMPLIKATIF POSITIF, IMPLIKATIF DAN QUASIKOMUTATIF. ALJABAR-BCK KOMUTATIF, IMPLIKATIF POSITIF DAN IMPLIKATIF MERUPAKAN ALJABAR-BCK QUASIKOMUTATIF DENGAN TIPE ...
ENDAH WAHYUNI, 089411246
core
Good lattice rules based on the general weighted star discrepancy
We study the problem of constructing rank- lattice rules which have good bounds on the ``weighted star discrepancy''. Here the non-negative weights are general weights rather than the product weights considered in most earlier works.
Joe, Stephen, Sinescu, Vasile
core +1 more source

