基本情報

所属
コーネル大学 arXiv
メルカリ 人工知能サーチ
アクセリア株式会社 研究開発部
学位
博士(2003年 数学論理学)
J-GLOBAL ID
201501082527612421
researchmap会員ID
B000243380
外部リンク
Many-valued logics, especially Gödel logics
Linear orderings, Kripke Frames, intermediate logics
Algebraic specification, Software verification
Proof theory
Geometry and logic

研究分野

  1