1 0 0 0 OA Involutiveな部分構造論理に対する証明論的アプローチ
- 著者
- 瀧田 康晴
- 巻号頁・発行日
- 2008-03
Supervisor:小野寛晰
言及状況
Twitter (1 users, 1 posts, 0 favorites)
@tadamago なおシークエント計算上での Glivenko の定理の定式化は、瀧田 康晴「Involutiveな部分構造論理に対する証明論的アプローチ」 [https://t.co/VvdcbNy7h4] の第5章の方法を参考にしました。