Pages that link to "Item:Q5251184"
From MaRDI portal
The following pages link to Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184):
Displaying 9 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
