Logic and Automated Theorem Proving, 2^nd edition, Springer, 1996

Melvin Fitting, F. (1996). Logic and Automated Theorem Proving, 2nd edition, Springer, 1996. Springer.

Type

Book

Intellectual base

Review or monograph

Year

1996

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Model elimination
  • … from A canonical instance directly demonstrates that a derivation follows the declared chain calculus and closes the initial negated goal under sound extension, reduction, and regularity rules. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, or implementation..

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