HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS (Q4892773)
From MaRDI portal
scientific article; zbMATH DE number 927864
Language | Label | Description | Also known as |
---|---|---|---|
English | HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS |
scientific article; zbMATH DE number 927864 |
Statements
HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS (English)
0 references
24 February 1997
0 references
algebraic counterpart of a purely implicational calculus
0 references
subcalculi
0 references
variety
0 references
BCK-algebras
0 references
hereditary subalgebra property
0 references
quasivariety
0 references