Pages that link to "Item:Q1841006"
From MaRDI portal
The following pages link to A negationless interpretation of intuitionistic theories (Q1841006):
Displaying 12 items.
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- One type of formal negationless systems (Q1080412) (← links)
- A negationless interpretation of intuitionistic theories. I (Q1577359) (← links)
- A negationless interpretation of intuitionistic theories. II (Q1582305) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Embedding intuitionistic-type theory in negationless-type theory (Q1820157) (← 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)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- (Q3705452) (← links)
- Studies of the negation in the intuitionistic type theory (Q3984061) (← links)
- (Q5170700) (← links)