JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
A picture of Ono

小野研究室
北陸先端科学技術大学院大学 情報科学研究科,

研究テーマ・業績

[ 日本語 / English ]


Residuated Lattices: an algebraic glimpse at substructural logics, (Studies in Logic and the Foundations of Mathematics, vol. 151), Elsevier, 2007

Algebraic and Topological Methods in Non-Classical Logics III (August 2007)

International Conference on Order, Algebra and Logics (June 2007)

Association for Symbolic Logic

住所: 〒923-1292 石川県能美市旭台1丁目1番地
北陸先端科学技術大学院大学情報科学研究科
小野研究室
電話番号: 0761-51-[以下の4桁](直通)
  • 1200: 小野 寛晰 (研究室)
  • 1003: 小野 寛晰 (副学長室)
  • 1149: FAX(共通事務)
    0761-51-1699-[以下の4桁](内線)
  • 1354: 研究室(2棟)
  • 1353: 研究室(中間棟)