+A [Logical System](/wiki/logical_system) is a theoretical construct for the study of [Reasoning](/wiki/reasoning). It provides a structured framework, comprising a formal language, axioms, and rules of [Inference](/wiki/inference), to deduce conclusions from premises.
+## See also
+- [Axiom](/wiki/axiom)
+- [Formal Logic](/wiki/formal_logic)
+- [Truth](/wiki/truth)
... 1 more lines