The following pages link to (Q4552743):
Displaying 10 items.
- Proof-theoretical analysis of order relations (Q701722) (← links)
- An alternative construction of Conway's ordered field No (Q1102272) (← links)
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (Q1407600) (← links)
- Sequent calculus proof theory of intuitionistic apartness and order relations (Q1818431) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Admissibility of structural rules for extensions of contraction-free sequent calculi (Q2743638) (← links)
- (Q3358841) (← links)
- Elementary constructive theory of ordered fields (Q3986779) (← links)