A simplified form of condensed detachment
- 26 Downloads
This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation.
Key wordsCondensed detachment unification
Unable to display preview. Download preview PDF.
- Hindley, J.R., 1990,Uniqueness of conclusion of rule D. Private Correspondence (July 25, 1990).Google Scholar
- Hindley, J.R. and Meredith, D., 1990, “Principal type-schemes and condensed detachment”,Journal of Symbolic Logic,55, 90–105.Google Scholar
- Prior, A.N., 1955,Formal Logic. Oxford: Clarendon Press.Google Scholar
- Robinson, J.A., 1965, “A machine-oriented logic based on the resolution principle”,Journal of the Association for Computing Machinery,12, 23–41.Google Scholar
© Kluwer Academic Publishers 1995