このアイテムのアクセス数: 184
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| 2228-09.pdf | 5.28 MB | Adobe PDF | 見る/開く |
| タイトル: | 超直観主義述語論理におけるprenex normal form theoremに関する覚書 (証明と計算の理論と応用) |
| 著者: | 鈴木, 信行  |
| 著者名の別形: | Suzuki, Nobu-Yuki |
| 発行日: | Aug-2022 |
| 出版者: | 京都大学数理解析研究所 |
| 誌名: | 数理解析研究所講究録 |
| 巻: | 2228 |
| 開始ページ: | 88 |
| 終了ページ: | 98 |
| 抄録: | Prenex normal form theorem (PNFT)は、古典述語論理に関するメタ定理であり、直観主義論理ではうまくいかない。一方、超直観主義論理にはPNFTが成立するものも存在する。「PNFTが成立するか否か」を、その論理における量化子のふるまいの特性とみなして、超直観主義述語論理の枠組みで考察してみよう、という動機で考察を始めてみた。このような観点から見れば、よく知られた話にもまだまだ面白い点がある、と思っていただければ嬉しい。 |
| URI: | http://hdl.handle.net/2433/279729 |
| 出現コレクション: | 2228 証明と計算の理論と応用 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。