1 0 0 0 OA 直観主義的多値論理
- 著者
- 高野 道夫
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.15, pp.77-89, 1982-11-13 (Released:2009-05-29)
- 参考文献数
- 8
1 0 0 0 OA 強い否定に対するいろいろなKripke型モデル
- 著者
- 高野 道夫
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.14, pp.61-73, 1981-11-10 (Released:2009-05-29)
- 参考文献数
- 5
1 0 0 0 OA 強い否定を含む直観主義論理について
- 著者
- 高野 道夫
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.11, pp.55-70, 1978-10-20 (Released:2009-05-29)
- 参考文献数
- 22
1 0 0 0 OA 書評
- 著者
- 小林 貞一 高野 道夫 吉田 朋好 一松 信 内田 伏一
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.30, no.4, pp.370-375, 1978-11-22 (Released:2008-12-25)
- 参考文献数
- 6