Proof-Theoretic Semantics
Prawitz validity, canonical proofs, and Dummett's fundamental assumption as a theory of what connectives mean
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineproof-theoretic semanticscanonical proofPrawitz validityfundamental assumptioninversion principle
Assumesharmonyproof normalizationintroduction rulecut elimination
Related
- Tonk and Harmonyplanned