On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories (Q3377761)
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 5015955
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories |
scientific article; zbMATH DE number 5015955 |
Statements
29 March 2006
0 references
many-sorted algebra
0 references
term
0 references
equation
0 references
many-sorted equational completeness
0 references
Hall algebras
0 references
Bénabou algebras
0 references
Bénabou theories
0 references
0.8187187314033508
0 references
0.7866392731666565
0 references
0.7862328290939331
0 references
