Characterization of protoalgebraic k-deductive systems (Q4586420)
From MaRDI portal
scientific article; zbMATH DE number 6935924
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterization of protoalgebraic k-deductive systems |
scientific article; zbMATH DE number 6935924 |
Statements
Characterization of protoalgebraic k-deductive systems (English)
0 references
13 September 2018
0 references
deductive system
0 references
protoalgebraic system
0 references
congruence
0 references
system of equivalence formulas
0 references
system of congruence formulas
0 references
0 references
