Principal Type-Schemes and Condensed Detachment

Hindley, J. R., & Meredith, D. (1990). Principal Type-Schemes and Condensed Detachment. Journal of Symbolic Logic.

Type

Journal article

Intellectual base

Primary research

Year

1990

DOI

10.2307/2274956

Link

https://doi.org/10.2307/2274956

Cited by

1 citation across 1 artifact.

Domain-specific

• Condensed Detachment
  • It is also not automatically a complete proof system. D-completeness is a property of a specified axiom basis and logic: whether conclusions obtainable with substitution and modus ponens are recoverable, in the appropriate substitution-instance sense, through D alone.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:281bc8021b80 · see in the full table