Tonk and Harmony
Prior's rogue connective, Belnap's conservativeness reply, and Dummett's demand for harmony
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 definetonkconservative extensionharmony
Assumesintroduction ruleelimination rulenatural deduction
Related
- Proof-Theoretic Semanticsplanned
- Harmony and Classical Logicplanned