A simplified form of condensed detachment


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.

Download options


    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

34 (#339,851)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford University Press.
A Machine-Oriented Logic Based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
Principal Type-Schemes and Condensed Detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.

Add more references

Citations of this work

The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
Weaker D-Complete Logics.Norman Megill & Martin Bunder - 1996 - Logic Journal of the IGPL 4 (2):215-225.

Add more citations