Stretching First Order Equational Logic: Proofs with Partiality, Subtypes and Retracts (1998)
by
Joseph A. Goguen
| Venue: | Proceedings, Workshop on First Order Theorem Proving |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Goguen98stretchingfirst,
author = {Joseph A. Goguen},
title = {Stretching First Order Equational Logic: Proofs with Partiality, Subtypes and Retracts},
booktitle = {Proceedings, Workshop on First Order Theorem Proving},
year = {1998},
pages = {pages}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
It is widely recognized that equational logic is simple, (relatively) decidable, and (relatively) easily mechanized. But it is also widely thought that equational logic has limited applicability because it cannot handle subtypes or partial functions. We show that a modest stretch of equational logic effectively handles these features. Space limits preclude a full theoretical treatment, so we often sketch, motivate and exemplify.
