On the mathematical synthesis of equational logics

DOI10.2168/LMCS-7(3:12)2011zbMath1237.03017arXiv1107.3031OpenAlexW2099427244MaRDI QIDQ3224678

Chung-Kil Hur, Marcelo P. Fiore

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.3031

zbMATH Keywords

completenessequational logicalgebraic theoriesrewritingsoundness\(\alpha \)-equivalencevariable binding

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05)

This page was built for publication: On the mathematical synthesis of equational logics