Conceptions of truth in intuitionism
From MaRDI portal
Publication:3160445
DOI10.1080/014453401625669zbMath1067.03009WikidataQ57552563 ScholiaQ57552563MaRDI QIDQ3160445
Publication date: 9 February 2005
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://philarchive.org/rec/RAACOT
03A05: Philosophical and critical aspects of logic and foundations
Related Items
On the Philosophy and Mathematics of the Logics of Formal Inconsistency, A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC, Structuring co-constructive logic for proofs and refutations, Informational semantics, non-deterministic matrices and feasible deduction, From the knowability paradox to the existence of proofs, Antirealism and universal knowability, An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper, Truth as an epistemic notion
Cites Work