Publications

Export 15 results:
Filters: Author is Dieter Probst  [Clear All Filters]
2016
Probst, D., Schuster, P.: Concepts of Proof in Mathematics, Philosophy, and Computer Science. Walter De Gruyter Incorporated (2016).
Kokkinis, I., Studer, T.: Cyclic Proofs for Linear Temporal Logic. In: Probst, D. and Schuster, P. Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
Buchholtz, U.Torben, Jäger, G., Strahm, T.: Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$). In: Probst, D. and Schuster, P. Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
2004
Jäger, G., Probst, D.: Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo. In: Link, G. One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference. pp. 119-134. de Gruyter (2004).
Jäger, G., Probst, D.: Variation on a theme of Schütte. Mathematical Logic Quarterly. 50, 258-264 (2004).
2001
Probst, D., Studer, T.: How to normalize the Jay. Theoretical Computer Science. 254, 677-681 (2001).