Linked from

The 7 pages that link to Deductive system, each with the reason it gives.

• AxiomRelated: Its rules specify how axioms yield theorems.

• Classical logicNarrower topic: Classical logic is studied through formal systems of derivation.

• SoundnessNarrower topic: Soundness evaluates whether this system's derivations preserve truth.

• Formal logicRelated: It specifies the steps by which formal proofs are constructed.

• LogicismNarrower topic: Logicism is tested by whether such a system derives mathematics using only logical resources.

• Principle of explosionNarrower topic: Explosion depends on which inference rules the system permits.

• Lindenbaum's lemmaRelated: The meaning of consistency depends on which derivations the chosen system permits.