織田幸弘

東北大学特任研究員の織田幸弘です. 主に循環証明体系 Cyclic Proof について研究しています.

キーワード:

論理学 Logic， 数学 Math， 循環証明体系 Cyclic Proof， カット除去 Cut-elimination， 帰納法 Induction，ソフトウェア検証 Software Verification，LaTeX etc.

emailアドレス:

yukihiro3socrates6hilbert [at] gmail.com

ORCID:

このリンクから私のORCIDのページに行けます.

Twitter:

このリンクから私のTwitterのページに行けます.

Blog:

このリンクから私のBlogに行けます.

最近の動向

Accepted:

Yukihiro Oda, James Brotherston, Makoto Tatsuta, "The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions", Journal of Logic and Computation, 2023;, exad068, https://doi.org/10.1093/logcom/exad068