Pages that link to "Item:Q701722"
From MaRDI portal
The following pages link to Proof-theoretical analysis of order relations (Q701722):
Displayed 6 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)