What is a logical system?

A formal framework comprising a syntax (well-formed formulas), axioms, and inference rules that together determine which statements are derivable.