小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2005-2007<Y151-H17540109>
National Diet Library
- Subject Heading数理論理学 / 代数学 / universal algebra / 情報基礎 / 部分構造論理
小野寛晰, 北陸先端科学技術大学院大学 [著][小野寛晰]2001-2003<Y151-H13640109>
National Diet Library
- Subject Heading部分構造論理 / 普遍代数 / 有限モデル性 / 多値論理 / ファジー...
小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>
National Diet Library
- Subject Heading部分構造論理 様相論理 項書換え系 構成的数学
古森, 雄一, 千葉大学1998-1999<Y151-H10640103>
National Diet Library
- Subject Heading部分構造論理 古典論理 直観主義論理 BCK論理 ラムダ計算 型理論
小野, 寛晰, 北陸先端科学技術大学院大学1998-2000<Y151-H10440027>
National Diet Library
- Subject Heading非標準論理 様相論理 部分構造論理 クリプキ完全性 ゲーム理論 自然演繹体系
戸次, 大介, BEKKI, Daisuke国立大学法人お茶の水女子大学2012-032011-2012 研究紹介集（増補版）p.59-59
Other Libraries in Japan
- Subject Heading教育・教育学 自然言語 普遍文法 意味論 部分構造論理 非古典論理