Constructive Proof Theory is a branch of mathematical logic that belongs to the genus of proof-theoretic frameworks, distinguished by its adherence to intuitionistic principles in which proofs are regarded as constructive procedures that explicitly exhibit witnessed evidence for logical assertions.
200
Publications
8.9K
Citations
268
Authors
175
Institutions
Publications per year
2017–2026
19
Parents
Publications
200
A formulae-as-type notion of control
Timothy G. Griffin · 1990 · 506 citations
A constructive proof of the general lovász local lemma
Robin A. Moser, Gábor Tardos · Journal of the ACM · 2010 · 468 citations
Explicit Provability and Constructive Semantics
Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 449 citations
1–5 of 200
Authors
268
- GM
4
h-index
- TC
4
h-index
- UK
3
h-index
- RL
3
h-index
- NT
3
h-index
1–5 of 268
Institutions
175
Cornell University
Ithaca, United States
7 h-index
8 publications
772 citations
Chalmers University of Technology
Gothenburg, Sweden
6 h-index
8 publications
272 citations
Carnegie Mellon University
Pittsburgh, United States
6 h-index
6 publications
334 citations
Centre National de la Recherche Scientifique
Paris, France
5 h-index
5 publications
134 citations
TU Wien
Vienna, Austria
5 h-index
5 publications
83 citations
University of Padua
Padua, Italy
4 h-index
6 publications
178 citations
University of Pennsylvania
Philadelphia, United States
4 h-index
3 publications
204 citations
Stanford University
Stanford, United States
4 h-index
3 publications
108 citations
1–8 of 175
Venues
- Journal of Symbolic Logic
16 publications · 815 citations
13
h-index
- Annals of Pure and Applied Logic
9 publications · 414 citations
9
h-index
- eCommons (Cornell University)
Repository · 7 publications · 368 citations
7
h-index
- Journal of Logic and Computation
5 publications · 79 citations
5
h-index
- Logic Journal of IGPL
5 publications · 96 citations
5
h-index
1–5