Pages that link to "Item:Q2534695"
From MaRDI portal
The following pages link to Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY (Q2534695):
Displaying 21 items.
- Intuitionism and the liar paradox (Q448337) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- On the Brouwerian concept of negative continuity (Q1094422) (← links)
- On the foundations of best approximation theory (Q1142944) (← links)
- On constructive functions ranging over propositions (Q1153081) (← links)
- Validity and quantification in intuitionism (Q1153139) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- A very strong intuitionistic theory (Q1234293) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Creative subject, Beth models and neighbourhood functions (Q1908820) (← links)
- Curry-Howard-Lambek correspondence for intuitionistic belief (Q2062203) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- The Kripke schema in metric topology (Q3144876) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
