Intensional proof-theoretic semantics and the rule of contraction

MaRDI QIDQ6599515

Peter Schroeder-Heister

Publication date: 6 September 2024

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General logic (03Bxx)

Related Items (2)

Proof-theoretic semantics: an autobiographical survey ⋮ Comments on the contributions

This page was built for publication: Intensional proof-theoretic semantics and the rule of contraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599515)