KnowraFormal logicLinked fromLinked fromThe 15 pages that link to Formal logic, each with the reason it gives.All 15Related 2Narrower topic 9Compared with 4Rudolf CarnapRelated: Its tools let Carnap treat philosophical questions as problems of formal structure.Symbolic artificial intelligenceRelated: Logical inference lets symbolic systems derive conclusions from represented premises.