A First Course in Logic

Hedman, S. (2004). A First Course in Logic. Oxford University Press.

Type

Book

Intellectual base

Textbook

Year

2004

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Monotonicity of entailment
  • Classical and intuitionistic consequence are monotonic, while default, defeasible and many commonsense reasoning systems are nonmonotonic because added information can withdraw earlier conclusions.

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