scientific article; zbMATH DE number 3508455
From MaRDI portal
Publication:4088782
zbMath0325.02005MaRDI QIDQ4088782
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The fundamental problem of general proof theory ⋮ Logic in Category Theory ⋮ Some obstacles facing a semantic foundation for constructive mathematics ⋮ Meaning and computing: two approaches to computable propositions ⋮ Meaning and interpretation. II ⋮ What is a relevant connective? ⋮ Meaning and interpretation. I ⋮ Between proof and truth ⋮ Erratum to: ``Between proof and truth ⋮ Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) ⋮ Defending understanding-assent links ⋮ Explanation and Realism: Interwoven Themes in the Philosophy of Mathematics ⋮ Should pluralists be pluralists about pluralism? ⋮ Laplace's demon consults an oracle: the computational complexity of prediction ⋮ True V or Not True V, That Is the Question ⋮ On the logical philosophy of assertive graphs ⋮ Knowability and a New Paradox of Happiness ⋮ Mirroring theorems in free logic ⋮ Zeno's arrow and the infinitesimal calculus ⋮ Towards a semantics based on the notion of justification ⋮ Validity concepts in proof-theoretic semantics ⋮ Antirealism and universal knowability ⋮ Dag Prawitz on proofs, operations and grounding ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Truth and Proof in Intuitionism ⋮ Program Testing and the Meaning Explanations of Intuitionistic Type Theory ⋮ Truth as an epistemic notion ⋮ Anti-realist truth and truth-recognition
