Decidability in proof-theoretic validity

MaRDI QIDQ6641537zbMATH OpenFDO

Authors Will Stafford

Publication date 20 November 2024

zbMATH Keywords

decidabilityPrawitzproof-theoretic validity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

This page was built for publication: Decidability in proof-theoretic validity

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