Four constructivist attitudes in Prawitzian semantics

MaRDI QIDQ6641546zbMATH OpenFDO

Authors Antonio Piccolomini d'Aragona

Publication date 20 November 2024

zbMATH Keywords

constructivismmonotonicityproofschematicity

Mathematics Subject Classification ID

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

This page was built for publication: Four constructivist attitudes in Prawitzian semantics

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