Some Varieties of Equational Logic
From MaRDI portal
Publication:5757935
DOI10.1007/11780274_8zbMath1132.08300OpenAlexW1490060729MaRDI QIDQ5757935
Publication date: 7 September 2007
Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11780274_8
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)
Related Items (4)
Freyd categories are enriched Lawvere theories ⋮ Equational logic and categorical semantics for multi-languages ⋮ Combining algebraic effects with continuations ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names
This page was built for publication: Some Varieties of Equational Logic
