- 271 名前：１３２人目の素数さん [05/03/19 03:43:43 ]
- >>265
＞とのことですが、証明図の終式（証明図最後のSequent）で、同じ変数が
＞自由変数としても束縛変数としても使用されている場合を考えると、あまり
そんな終式での照明図ではそもそもcutは除去できないと思われ。
例えば「情報科学における論理」p.78でも読んでみれ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef