Concepedia

Wim Veldman

WV

9

Publications

286

Citations

9

H-Index

1976

Active since

Affiliations

Radboud University Nijmegen(Current)

Wim Veldman is an author at Radboud University Nijmegen specializing in automated reasoning, formal methods, and intuition.

Top concepts

Automated ReasoningIntuitionEngineeringFormal MethodsComputer ScienceEntropyEpistemologyDecision TheorySocial SciencesCognitive Science

Publications per year

1976–2014

9

Publications

9

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 69 citations

Intuitionistic Logic, Non-classical Logic, Constructive Mathematics +10

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 63 citations

Intuitionistic Logic, Non-classical Logic, Constructive Mathematics +10

An intuitionistic proof of Kruskal?s theorem

Wim Veldman · Archive for Mathematical Logic · 2004 · 33 citations

Theoretical Mathematics, Intuitionistic Proof, Intuitionistic Logic +1

Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative

Wim Veldman · Archive for Mathematical Logic · 2014 · 32 citations · Full text

Brouwer ’, Constructive Logic, Philosophy Of Logic +4

Brouwer’s Real Thesis on Bars

Wim Veldman · Philosophia Scientae · 2006 · 24 citations · Full text

Rows per page

1–5 of 9