非標準理論とその応用:非標準論理の現状とその展望 - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA 非標準理論とその応用:非標準論理の現状とその展望

著者: 小野寛晰
雑誌: 情報処理
巻号頁・発行日: vol.30, no.6, 1989-06-15

2016-11-25 19:23:31
1 + 0 Twitter

http://id.nii.ac.jp/1001/00005047/

言及状況

Twitter (1 users, 1 posts, 0 favorites)

CD がそこに含まれるか否かは判明しているのかな？ /「Maksimova は非可算個ある中間論理のうち補間定理がなりたつものは，古典論理と直観主義論理を含めちょうど7つだけであるという驚くべき結果を示した」（p. 622 より） https://t.co/wwdVrposar

0

収集済み URL リスト

https://ipsj.ixsq.nii.ac.jp/ej/index.php?action=pages_view_main&active_action=repository_action_common_download&item_id=5047&item_no=1&attribute_id=1&file_no=1&page_id=13&block_id=8 (1)