Natural Deduction Systems in Logic

Indrzejczak, A. (2023). Natural Deduction Systems in Logic. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Year

2023

Link

https://plato.stanford.edu/archives/fall2023/entries/natural-deduction/

Cited by

1 citation across 1 artifact.

Domain-specific

• Conjunction Introduction
  • Paired with Conjunction Elimination, it contributes to the inferential meaning of \(\land\): to establish a conjunction one must establish both conjuncts; from an established conjunction, either conjunct may be recovered.

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