Publications and Talks

Publications

T, Kumasaka.  & T, Kurahashi.  "Fixed points in abstract provability structures" https://doi.org/10.48550/arXiv.2608.29914

T, Kumasaka.   "Proof-theoretic and relational semantic analyses of abstract provability structure" (in progress)

Talks