Towards a formal analysis of semantic pollution of proof systems

MaRDI QIDQ6641543zbMATH OpenFDO

Authors Robin Martinot

Publication date 20 November 2024

zbMATH Keywords

formalizationphilosophy of proof theorysemantic pollution

Mathematics Subject Classification ID

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

Cited in

(1)

• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi

This page was built for publication: Towards a formal analysis of semantic pollution of proof systems

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