|
コバヤシ サトシ
KOBAYASHI SATOSHI
小林 聡 所属 京都産業大学 情報理工学部 情報理工学科 職種 教授 |
|
| 研究期間 | 1984 |
| 研究課題 | Nonstandard Logics and their application to computer science |
| 実施形態 | |
| 概要 | Proof theory and semantics of nonstandard logics including constructive logics and modal logics, especially Corry-Howard correspondence and its application. |