Some Varieties of Equational Logic
From MaRDI portal
Publication:5757935
DOI10.1007/11780274_8zbMATH Open1132.08300OpenAlexW1490060729MaRDI QIDQ5757935FDOQ5757935
Authors: Gordon D. Plotkin 
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
Recommendations
Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65) Applications of universal algebra in computer science (08A70)
Cited In (18)
- Title not available (Why is that?)
- Universal algebra in higher types
- EQ-logics with delta connective
- Freyd categories are enriched Lawvere theories
- Title not available (Why is that?)
- Combining algebraic effects with continuations
- Title not available (Why is that?)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey
- Equational logic and categorical semantics for multi-languages
- Variadic equational matching in associative and commutative theories
- Extendible formulas in two variables in intuitionistic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nominal Lawvere theories: a category theoretic account of equational theories with names
- Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Second-Order Equational Logic (Extended Abstract)
- Equational type logic
This page was built for publication: Some Varieties of Equational Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5757935)
