Pages that link to "Item:Q1818431"
From MaRDI portal
The following pages link to Sequent calculus proof theory of intuitionistic apartness and order relations (Q1818431):
Displayed 10 items.
- The eskolemization of universal quantifiers (Q638487) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Meaning in Use (Q5213613) (← links)
- (Q5379646) (← links)
- Intuitionistic mereology (Q6067323) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)