Pages that link to "Item:Q450950"
From MaRDI portal
The following pages link to Delimited control operators prove double-negation shift (Q450950):
Displaying 8 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators (Q2968417) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- (Q4957791) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- (Q5875427) (← links)