Pages that link to "Item:Q2546865"
From MaRDI portal
The following pages link to Intuitionism. An introduction. 3rd revised ed (Q2546865):
Displaying 20 items.
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Collimation processes in quantum mechanics interpreted in quantum real numbers (Q652795) (← links)
- Against against intuitionism (Q813418) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- Boolean lifting property for residuated lattices (Q894392) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Validity and quantification in intuitionism (Q1153139) (← links)
- On certain theorems of analysis in the formal system Kleene-Vesley (Q1242162) (← links)
- A fundamental effect in computations on real numbers (Q1245217) (← links)
- Identifiability of structural characteristics: how relevant is it for the Bayesian approach? (Q1654333) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- The philosophical significance of Cox's theorem (Q1879780) (← links)
- Mirroring theorems in free logic (Q1981985) (← links)
- Morse set theory as a foundation for constructive mathematics (Q2079874) (← links)
- Equivalence proof for intuitionistic existential alpha graphs (Q2671599) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- Intuitionistic propositional calculus in the extended framework with modal operator. II (Q6489396) (← links)
