The following pages link to ON FLATTENING ELIMINATION RULES (Q2940866):
Displaying 10 items.
- General-elimination stability (Q526738) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- SEMANTIC POLLUTION AND SYNTACTIC PURITY (Q3459083) (← links)
- A Poly-Connexive Logic (Q5006821) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)