Highly Influenced

# Principal Type-Schemes and Condensed Detachment

@article{Hindley1990PrincipalTA, title={Principal Type-Schemes and Condensed Detachment}, author={J. Roger Hindley and David Meredith}, journal={J. Symb. Log.}, year={1990}, volume={55}, pages={90-105} }

- Published 1990 in J. Symb. Log.

and introduction. The condensed detachment rule, or rule D, was first proposed by Carew Meredith in the 1950's for propositional logic based on implication. It is a combination of modus ponens with a "minimal" amount of substitution. We shall give a precise detailed statement of rule D. (Some attempts in the published literature to do this have been inaccurate.) The D-completeness question for a given set of logical axioms is whether every formula deducible from the axioms by modus ponens and… CONTINUE READING

#### From This Paper

##### Topics from this paper.

21 Citations

4 References

Similar Papers

#### References

##### Publications referenced by this paper.

Showing 1-4 of 4 references

Highly Influential