scientific article; zbMATH DE number 3216178
From MaRDI portal
Publication:5343326
zbMath0133.24801MaRDI QIDQ5343326
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (21)
Algebra of constructions. I. The word problem for partial algebras ⋮ La prédicativité ⋮ The paradox of the knower revisited ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ A Comparison of Type Theory with Set Theory ⋮ From the knowability paradox to the existence of proofs ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Verificationism and Classical Realizability ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Inference and epistemic transparency ⋮ Dag Prawitz on proofs, operations and grounding ⋮ On paradoxes in normal form ⋮ Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem ⋮ From constructivism to computer science ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ Intuitionistische Kennzeichnung der endlichen Spezies ⋮ Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants ⋮ Truth and Proof in Intuitionism
This page was built for publication:
