Tsubasa KUMASAKA (熊坂翼)

Publications and Talks

Publications

2026+

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

2026+

T, Kumasaka. "Proof-theoretic and relational-semantic analysis of abstract provability structures " (In preparation)

Talks

2026/09/4「Abstract provability structure の不動点 (Fixed points in abstract provability structures)」 @ 日本数学会 2026年度秋季総合分科会 (slide [in Japanese])
2026/10/7「Abstract provability structure の不動点 (Fixed points in abstract provability structures)」 @ SLACS 2026 (slide [in Japanese])
2026/10/16「Abstract provability structure の諸相 (Aspects of abstract provability structures)」 @ 数学基礎論若手の会2026 (slide [in Japanese])
2026/10/25「Abstract provability structure の証明論と近傍意味論 (Proof theory and neighborhood semantics for abstract provability structures)」 @ 第61回 MLG 数理論理学研究集会
2026/11/26Analytic cut property and subformula property for abstract provability structures @ Trends in Logic XXVI

Page updated

Google Sites

Report abuse