The following pages link to (Q4757531):
Displaying 25 items.
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary (Q346664) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Recovering quantum logic within an extended classical framework (Q486962) (← links)
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion (Q662344) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Introduction: Inferences and proofs (Q2288269) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Intuitionistische Kennzeichnung der endlichen Spezies (Q2555846) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- Automath Type Inclusion in Barendregt’s Cube (Q3194722) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930 (Q3787951) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Kolmogorov and mathematical logic (Q4032626) (← links)
- The work of Kurt Gödel (Q4140948) (← links)
- Hermann Weyl's Intuitionistic Mathematics (Q4847387) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- On the interpretation of intuitionistic number theory (Q5843995) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)
- The validity of inference and argument (Q6612867) (← links)
