Pages that link to "Item:Q1577359"
From MaRDI portal
The following pages link to A negationless interpretation of intuitionistic theories. I (Q1577359):
Displaying 9 items.
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- One type of formal negationless systems (Q1080412) (← links)
- A negationless interpretation of intuitionistic theories. II (Q1582305) (← links)
- A negationless interpretation of intuitionistic theories (Q1841006) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Notes on constructive negation (Q2500818) (← links)
- (Q3705452) (← links)
- Studies of the negation in the intuitionistic type theory (Q3984061) (← links)