Schroeder-Heister, Peter
(2008)
Model-theoretic and proof-theoretic notions of logical consequence are compared. According to standard semantics, they rely on the idea of the transmission of a categorical concept (truth, canonical provability) from the ...