研究者
J-GLOBAL ID：200901085185033825   更新日: 2024年09月20日

小野 寛晰

オノ ヒロアキラ | Ono Hiroakira
所属機関・部署：
北陸先端科学技術大学院大学

北陸先端科学技術大学院大学 について


職名： 名誉教授
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (2件)： 証明論的、代数的方法による非古典論理の研究 ,  数理論理学とその情報科学への応用
競争的資金等の研究課題 (23件)：
  • 2005 - 2007 代数的方法による論理学の新たな展開
  • 2004 - 2006 多様相論理の総合的研究とゲーム理論への応用
  • 2001 - 2003 クリプキ意味論の拡張と認識論理・ゲーム理論への応用
  • 2001 - 2003 個人の社会認識と社会・経済規範
  • 2001 - 2003 部分構造論理と代数構造
全件表示
論文 (45件)：
  • Hiroakira Ono, Katsuhiko Sano. Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic. Advances in Modal Logic. 2022. 14. 601-623
  • Majid Alizadeh, Hiroakira Ono. Residuated expansions of lattice-ordered structures. Mathematics, Logic, and their Philosophies, Logic, Epistemology, and the Unity of Science. 2021. 49. 93-116
  • S. Nomura, H. Ono, K. Sano. A cut-free labelled sequent calculus for dynamic epistemic logic. Journal of Logic and Computation. 2020. 30. 1. 321-348
  • 小野 寛晰. A uniform algebraic approach to cut elimination via semi-completeness. Philosophical Logic: Current Trends in Asia. 2017. 19-43
  • Tomasz Kowalski, Hiroakira Ono. ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC. REVIEW OF SYMBOLIC LOGIC. 2017. 10. 2. 259-283
もっと見る
MISC (9件)：
  • 小野寛晰. A scientific autobiography. Hiroakira Ono on Substructural Logics,. 2021. Outstanding Contributions to Logic 23. 1-23
  • Nikolaos Galatos, Peter Jipsen, Hiroakira Ono. Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics Preface. STUDIA LOGICA. 2012. 100. 6. 1059-1062
  • 小野 寛晰. Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics). 数理解析研究所講究録. 1995. 927. 88-103
  • 小野 寛晰. 非標準理論とその応用:非標準論理の現状とその展望. 情報処理. 1989. 30. 6. p617-625
  • 小野 寛晰. Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics). 数理解析研究所講究録. 1986. 588. 128-135
もっと見る
書籍 (5件)：
  • Proof Thery and Algebra in Logic
    Springer 2019
  • 現代数理論理学序説
    日本評論社 2010 ISBN:9784535785564
  • Residuated Lattices: an algebraic glimpse at substructural logics
    Elsevier 2007 ISBN:9780444521415
  • 情報科学のための論理
    日本評論社 1994
  • 情報代数
    共立出版 1994
講演・口頭発表等 (23件)：
  • Cut elimination, analytic cut property and Craig's interpolation property
    (The 6th Proof Society International School and Workshop 2024)
  • 論理的推論のさまざまな姿とその解析
    (日本数学会2019年度年会 2019)
  • Bi-intuitionistic logic revisited
    (The 4th Taiwan Philosophical Logic Colloquium 2018)
  • Downward saturation and semi-completeness -- a semantical approach to cut elimination
    (Algebra and Substructural Logics -- Take 6 2018)
  • Cut elimination and semi-completeness
    (Workshop on Logic, Algebra and Category Theory: LAC 2018 2018)
もっと見る
学歴 (3件)：
  • - 1973 京都大学 理学博士
  • - 1968 東京大学 理学系研究科
  • - 1966 東京大学 教養学部 基礎科学科
学位 (2件)：
  • 理学博士 (京都大学)
  • 理学修士 (東京大学)
経歴 (7件)：
  • 2013 - 2017 北陸先端科学技術大学院大学 シニア プロフェッサー
  • 2008 - 2013 北陸先端科学技術大学院大学、特別招聘教授
  • 1993 - 2008 北陸先端科学技術大学院大学 教授
  • 1985 - 1993 広島大学 教授
  • 1976 - 1985 広島大学 助教授
全件表示
委員歴 (4件)：
  • 2006 - 2008 北陸先端科学技術大学院大学 副学長・理事
  • 2006 - 2008 Association for Symbolic Logic 理事
  • 2003 - 2005 日本数学会 評議員
  • 1993 - 1995 Association for Symbolic Logic, 評議員
所属学会 (1件)：
Association for Symbolic Logic
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM