The following pages link to (Q5343326):
Displaying 21 items.
- The paradox of the knower revisited (Q392283) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem (Q1802394) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Inference and epistemic transparency (Q2288273) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics (Q2323643) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Intuitionistische Kennzeichnung der endlichen Spezies (Q2555846) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- La prédicativité (Q5339291) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
