Intensional proof-theoretic semantics and the rule of contraction

MaRDI QIDQ6599515zbMATH OpenFDO

Authors Peter Schroeder-Heister

Publication date 6 September 2024

Mathematics Subject Classification ID

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

Cited in

(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)