Deductive systems and congruences in RM algebras (Q4963204)
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: Deductive systems and congruences in RM algebras |
scientific article; zbMATH DE number 6973881
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deductive systems and congruences in RM algebras |
scientific article; zbMATH DE number 6973881 |
Statements
6 November 2018
0 references
RM algebra
0 references
RME algebra
0 references
BCI algebra
0 references
BCH algebra
0 references
BZ algebra
0 references
pre-BZ algebra
0 references
pre-BBBZ algebra
0 references
translation deductive system
0 references
congruence
0 references
0.8419205546379089
0 references
0.8286699652671814
0 references
0.7684281468391418
0 references
0.7660485506057739
0 references
0.7367976307868958
0 references
