Semantics vs. proof theory
The distinction is sometimes made by claiming that a semantic consequence relation is defined declaratively, while a proof-theoretic consequence relation is defined procedurally
E.g., Prakken and Sartor consider the extension-type definitions of argument defeat as semantics, and dialogue-style definitions as proof theory