Abstract
Contrary to popular belief, equational logic with induction is not complete for initial models of equational specifications. Indeed, under some regimes (the Clear specification language and most other algebraic specification languages) no proof system exists which is complete even with respect to ground equations. A collection of known results is presented along with some new observations.
Original language | English |
---|---|
Pages (from-to) | 454 - 461 |
Journal | IEEE Transactions on Software Engineering |
Volume | SE-11 |
Issue number | 5 |
DOIs | |
Publication status | Published - 1 May 1985 |