Condensed Detachment as a Rule of Inference

Kalman, J. A. (1983). Condensed Detachment as a Rule of Inference. Studia Logica.

Type

Journal article

Intellectual base

Primary research

Year

1983

DOI

10.1007/bf01371632

Link

https://doi.org/10.1007/BF01371632

Cited by

1 citation across 1 artifact.

Domain-specific

• Condensed Detachment
  • If unification succeeds, infer \(\sigma(B)\), with any conventionally permitted variable normalization.

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:3295ac34201a · see in the full table