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

Antonio Piccolomini d'Aragona

I discuss two approaches to monotonic proof-theoretic semantics. In the first one, which I call SVA, consequence is understood in terms of existence of valid arguments. The latter…