Pages that link to "Item:Q3160445"
From MaRDI portal
The following pages link to Conceptions of truth in intuitionism (Q3160445):
Displaying 10 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Antirealism and universal knowability (Q987452) (← links)
- The priority of arithmetical truth over arithmetical provability (Q1607593) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Truth as an epistemic notion (Q2339002) (← links)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (Q5241518) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- A Pragmatic-Semiotic Defence of Bivalence (Q6650259) (← links)
