Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (Q4659579)
From MaRDI portal
scientific article; zbMATH DE number 2147924
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic |
scientific article; zbMATH DE number 2147924 |
Statements
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (English)
0 references
21 March 2005
0 references
categorical logic
0 references
institution
0 references
equational logic
0 references
