Skip to main content
Log in

A simplified form of condensed detachment

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Hindley, J.R., 1990,Uniqueness of conclusion of rule D. Private Correspondence (July 25, 1990).

  • 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 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Statement of exclusive submission. This paper has not been submitted elsewhere in identical or similar form.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bunder, M.W. A simplified form of condensed detachment. J Logic Lang Inf 4, 169–173 (1995). https://doi.org/10.1007/BF01048619

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01048619

Key words

Navigation