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}
}
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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…