The following pages link to (Q5613908):
Displaying 8 items.
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
