A subscription is required to access this article.
The Workshop ‘Mathematical LogicTheory, Constructive Mathematics’ focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands:
- Interactions between foundations and applications.
- Proof mining.
- Constructivity in classical logic.
- Modal logic and provability logic.
- Proof theory and theoretical computer science.
- Structural proof theory.
Cite this article
Samuel R. Buss, Rosalie Iemhoff, Ulrich Kohlenbach, Michael Rathjen, Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 17 (2020), no. 4, pp. 1693–1757DOI 10.4171/OWR/2020/34