Highly Influenced

# Term Equational Systems and Logics: (Extended Abstract)

@article{Fiore2008TermES, title={Term Equational Systems and Logics: (Extended Abstract)}, author={Marcelo P. Fiore and Chung-Kil Hur}, journal={Electr. Notes Theor. Comput. Sci.}, year={2008}, volume={218}, pages={171-192} }

- Published 2008 in Electr. Notes Theor. Comput. Sci.
DOI:10.1016/j.entcs.2008.10.011

We introduce an abstract general notion of system of equations between terms, called Term Equational System, and develop a sound logical deduction system, called Term Equational Logic, for equational reasoning. Further, we give an analysis of algebraic free constructions that together with an internal completeness result may be used to synthesise complete equational logics. Indeed, as an application, we synthesise a sound and complete nominal equational logic, called Synthetic Nominal… CONTINUE READING

Highly Cited

This paper has 31 citations. REVIEW CITATIONS

#### From This Paper

##### Topics from this paper.

20 Citations

23 References

Similar Papers