Pages that link to "Item:Q5213618"
From MaRDI portal
The following pages link to Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618):
Displaying 4 items.
- General-elimination stability (Q526738) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
