Pages that link to "Item:Q5864198"
From MaRDI portal
The following pages link to Some Remarks on Proof-Theoretic Semantics (Q5864198):
Displaying 6 items.
- General-elimination stability (Q526738) (← 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)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
