Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

General Theory of Quasi-Commutative BCI-algebras

100%
Sun T., Pan W., Wu C., Liang X.
Formalized Mathematics
|
2008
|
tom 16
|
nr 3
253-258
EN
It is known that commutative BCK-algebras form a variety, but BCK-algebras do not [4]. Therefore H. Yutani introduced the notion of quasicommutative BCK-algebras. In this article we first present the notion and general theory of quasi-commutative BCI-algebras. Then we discuss the reduction of the type of quasi-commutative BCK-algebras and some special classes of quasicommutative BCI-algebras.
2
Content available remote

Several Classes of BCK-algebras and their Properties

100%
Sun T., Hu D., Liang X.
Formalized Mathematics
|
2007
|
tom 15
|
nr 4
237-242
EN
In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].
3
Content available remote

Some Properties of Line and Column Operations on Matrices

100%
Liang X., Sun T., Hu D.
Formalized Mathematics
|
2007
|
tom 15
|
nr 3
151-157
EN
This article describes definitions of elementary operations about matrix and their main properties.
4
Content available remote

BCI-algebras with Condition (S) and their Properties

100%
Sun T., Zhao J., Liang X.
Formalized Mathematics
|
2008
|
tom 16
|
nr 1
65-71
EN
In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of algebras: commutative, positive-implicative and implicative BCK-algebras with condition (S).MML identifier: BCIALG 4, version: 7.8.09 4.97.1001
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.