Pages that link to "Item:Q923083"
From MaRDI portal
The following pages link to Gentzenizing Schroeder-Heister's natural extension of natural deduction (Q923083):
Displayed 5 items.
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- Simple consequence relations (Q809992) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)