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 14 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)
- Towards a more general concept of inference (Q2254558) (← 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)
- Generalized DEL-Sequents (Q2915058) (← links)
- (Q4012176) (← 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)
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications (Q6597960) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)