Characterization of protoalgebraic \(k\)-deductive systems (Q4586420)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6935924
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7997263669967651
0 references
0.7972925305366516
0 references
0.7909931540489197
0 references
