# Publications

Export 5 results:
Filters: Author is Peter Schuster  [Clear All Filters]
2016
: Concepts of Proof in Mathematics, Philosophy, and Computer Science. Walter De Gruyter Incorporated (2016).
: Cyclic Proofs for Linear Temporal Logic. In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
: Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$). In: Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter (2016).
2012
: About the Strength of Operational Regularity. In: Logic, Construction, Computation. pp. 305-324. Ontos Verlag (2012).
: Weak theories of truth and explicit mathematics. In: Logic, Construction, Computation. pp. 157-184. Ontos Verlag (2012).