Pages that link to "Item:Q5213618"
From MaRDI portal
The following pages link to Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618):
Displaying 9 items.
- A note on harmony (Q452347) (← 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)
- Relevant harmony (Q2804328) (← 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)
- Comments on the contributions (Q6612881) (← links)