A note on schematic validity and completeness in Prawitz's semantics

MaRDI QIDQ6967416zbMATH OpenFDO

Authors Antonio Piccolomini d'Aragona

Publication date 26 June 2025

zbMATH Keywords

completenessproof-theoretic semanticsschematicity

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: A note on schematic validity and completeness in Prawitz's semantics

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