The connection between two ways of reasoning about partial functions

Abstract

This paper addresses the relationship between the theorems derived in two logics that provide alternative ways of reasoning about partial functions. Theorems in the Logic of Partial Functions using weak equality can be directly translated into First Order Predicate Calculus using existential equality. Translation in the other direction is, in general, more… (More)
DOI: 10.1016/j.ipl.2008.02.005

Topics

1 Figure or Table

Cite this paper

@article{Fitzgerald2008TheCB, title={The connection between two ways of reasoning about partial functions}, author={John S. Fitzgerald and Cliff B. Jones}, journal={Inf. Process. Lett.}, year={2008}, volume={107}, pages={128-132} }