4 0 0 0 OA 直観主義タイプ理論の意味論的背景
- 著者
- 金子 洋之
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.19, no.1, pp.11-16, 1988-12-25 (Released:2010-01-20)
- 参考文献数
- 16
言及状況
外部データベース (DOI)
はてなブックマーク (1 users, 1 posts)
[あとで読む]
Twitter (2 users, 2 posts, 2 favorites)
@silver_pork なるほど，そして判断は命題ではないのですね．最初ご利益が不明でしたが，金子洋之，"直観主義タイプ理論の意味論的背景"（1988）読んだらだいぶわかりました．型をつけるところが判断で，命題は型だということか． https://t.co/NvbWMDTg