Completeness theorem for the Evans logic of identities (Q2575541)
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: Completeness theorem for the Evans logic of identities |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness theorem for the Evans logic of identities |
scientific article |
Statements
Completeness theorem for the Evans logic of identities (English)
0 references
12 December 2005
0 references
word problem
0 references
Peano algebra
0 references
identities of partial algebras
0 references
