Pages that link to "Item:Q5213616"
From MaRDI portal
The following pages link to General-Elimination Harmony and Higher-Level Rules (Q5213616):
Displaying 10 items.
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← 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)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← 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)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)