Pages that link to "Item:Q1582305"
From MaRDI portal
The following pages link to A negationless interpretation of intuitionistic theories. II (Q1582305):
Displaying 6 items.
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- Embedding intuitionistic-type theory in negationless-type theory (Q1820157) (← links)
- A negationless interpretation of intuitionistic theories (Q1841006) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Notes on constructive negation (Q2500818) (← links)
- (Q3705452) (← links)