Journal of Logic, Language and Information

, Volume 4, Issue 2, pp 169–173 | Cite as

A simplified form of condensed detachment

  • M. W. Bunder


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 words

Condensed detachment unification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Hindley, J.R., 1990,Uniqueness of conclusion of rule D. Private Correspondence (July 25, 1990).Google Scholar
  2. Hindley, J.R. and Meredith, D., 1990, “Principal type-schemes and condensed detachment”,Journal of Symbolic Logic,55, 90–105.Google Scholar
  3. Prior, A.N., 1955,Formal Logic. Oxford: Clarendon Press.Google Scholar
  4. 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

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • M. W. Bunder
    • 1
  1. 1.Mathematics DepartmentUniversity of WollongongAustralia

Personalised recommendations