Posts
Browse every page sourced from Markdown files.
- 【MLG60発表報告】ランベック計算に循環証明を導入する試み2025-12-19
数理論理学の集会（MLG60）での発表内容を基に、ランベック計算への循環証明の導入とその形式言語理論的な含意について、定義や証明図を交えて解説します。
Browse every page sourced from Markdown files.
数理論理学の集会（MLG60）での発表内容を基に、ランベック計算への循環証明の導入とその形式言語理論的な含意について、定義や証明図を交えて解説します。