Semantics vs. proof theory
We saw that Hintikka only distinguished semantics (truth) and consequence relations (logical truth), and did not distinguish kinds of consequence relations, i.e., semantic and proof-theoretic
What is the difference between a semantic and a proof-theoretic consequence relation?