Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
Theoretical Computer Science
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method
Proceedings of the 7th Colloquium on Automata, Languages and Programming
FCT '93 Proceedings of the 9th International Symposium on Fundamentals of Computation Theory
Circular Coinductive Rewriting
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Hi-index | 0.00 |
A categorical four-rule deduction system for equational logics is presented. We show that under reasonable finiteness requirements this system is complete with respect to equational satisfaction abstracted as injectivity. The generality of the presented framework allows one to derive conditional equations as well at no extra cost. In fact, our deduction system is also complete for conditional equations, a new result at the author's knowledge.