Results 1 -
1 of
1
Proof by Consistency in Constructive Systems with Final Algebra Semantics
- In Proceedings 3rd International Conference on Algebraic and Logic Programming
, 1992
"... In this paper we study final algebra semantics for constructive equational systems. A class of models of a constructive system is described, and proven to haveafinal algebra. Then wedevelop a method for proof by consistency with respect to the final model. Finally weshowthatthemethod contains th ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
In this paper we study final algebra semantics for constructive equational systems. A class of models of a constructive system is described, and proven to haveafinal algebra. Then wedevelop a method for proof by consistency with respect to the final model. Finally weshowthatthemethod contains the proof methods of Musser [11], Goguen [2], and Huet and Hullot [5] as special cases.
