KnowraClassical logicLinked fromLinked fromThe 34 pages that link to Classical logic, each with the reason it gives.All 34Broader topic 2Related 5Narrower topic 12Compared with 15Formal logicBroader topic: It is the standard setting for many formal treatments of valid inference.Monotonicity of entailmentBroader topic: Its semantic entailment is monotonic: added premises cannot remove an existing consequence.