Logical System

A specified set of syntactic symbols, formation rules, axioms and inference rules (or their informal counterparts) that determines how propositions are formed and which derivations or consequences count as valid within that system; it provides the formal criteria distinguishing valid from invalid inference under its chosen semantics or proof theory.