Some Varieties of Equational Logic

DOI10.1007/11780274_8MaRDI QIDQ5757935zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• Universal algebra in higher types
• scientific article; zbMATH DE number 3918620
• Equational type logic
• scientific article; zbMATH DE number 1839430
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

Cited in

(18)

• Equational type logic
• scientific article; zbMATH DE number 1036757 (Why is no real title available?)
• Universal algebra in higher types
• EQ-logics with delta connective
• Freyd categories are enriched Lawvere theories
• scientific article; zbMATH DE number 2108193 (Why is no real title available?)
• Combining algebraic effects with continuations
• scientific article; zbMATH DE number 4112566 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 4147499 (Why is no real title available?)
• Nominal Lawvere theories: a category theoretic account of equational theories with names
• scientific article; zbMATH DE number 3961694 (Why is no real title available?)
• 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)

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)