Pages that link to "Item:Q3576201"
From MaRDI portal
The following pages link to The Peirce Translation and the Double Negation Shift (Q3576201):
Displaying 7 items.
- The Peirce translation (Q408162) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Negative Translations and Duality: Toward a Unified Approach (Q3080095) (← links)
- (Q3384909) (← links)
- (Q4981448) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Higher-order games with dependent types (Q6049932) (← links)