Subdirect products of totally ordered implicative algebras (Q1891709)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Subdirect products of totally ordered implicative algebras |
scientific article; zbMATH DE number 763919
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Subdirect products of totally ordered implicative algebras |
scientific article; zbMATH DE number 763919 |
Statements
Subdirect products of totally ordered implicative algebras (English)
0 references
14 June 1995
0 references
Basing on a previous paper of the author [ibid. 111, 384-387 (1987; Zbl 0632.06017)], it is proved that for some subclass of implicative algebras, which properly contains the BCK-algebras, subdirect irreducibility is equivalent to join-irreducibility of 1.
0 references
subdirect product
0 references
implicative algebras
0 references
BCK-algebras
0 references
subdirect irreducibility
0 references
join-irreducibility of 1
0 references
0.8397095203399658
0 references
0.7792251110076904
0 references
