Pages that link to "Item:Q701722"
From MaRDI portal
The following pages link to Proof-theoretical analysis of order relations (Q701722):
Displaying 18 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)
- Sequent calculus proof theory of intuitionistic apartness and order relations (Q1818431) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- A verified decision procedure for orders in Isabelle/HOL (Q2147186) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- (Q4793023) (← links)
- (Q4895482) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)