The following pages link to (Q4694207):
Displaying 9 items.
- The first axiomatization of relevant logic (Q1206805) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- Popper's Notion of Duality and His Theory of Negations (Q4608217) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
