KnowraDeductive systemLinked fromLinked fromThe 7 pages that link to Deductive system, each with the reason it gives.All 7Related 3Narrower topic 4Classical logicNarrower topic: Classical logic is studied through formal systems of derivation.SoundnessNarrower topic: Soundness evaluates whether this system's derivations preserve truth.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.