小野 寛晰

J-GLOBALへ         更新日: 17/10/07 10:25
 
アバター
研究者氏名
小野 寛晰
 
オノ ヒロアキラ
所属
北陸先端科学技術大学院大学
職名
名誉教授
学位
理学博士(京都大学), 理学修士(東京大学), 教養学士(東京大学)

研究分野

 
 

経歴

 
2013年
 - 
2017年
北陸先端科学技術大学院大学 シニア プロフェッサー
 
2008年
 - 
2013年
北陸先端科学技術大学院大学 特別招聘教授
 
1993年
 - 
2008年
北陸先端科学技術大学院大学 教授
 
1985年
 - 
1993年
広島大学 教授
 
1976年
 - 
1985年
広島大学 助教授
 
1973年
 - 
1976年
津田塾大学 助教授
 
1968年
 - 
1973年
京都大学 助手
 

学歴

 
 
 - 
1968年
東京大学 理学系研究科 物理学専門課程
 
 
 - 
1966年
東京大学 教養学部 基礎科学科
 

委員歴

 
2006年
 - 
2008年
北陸先端科学技術大学院大学 副学長・理事
 
2006年
 - 
2008年
Association for Symbolic Logic  理事
 
2003年
 - 
2005年
日本数学会  評議員
 
1993年
 - 
1995年
Association for Symbolic Logic  評議員
 

Misc

 
Analytic cut and interpolation for bi-intuitionistic logic
T. Kowalski, 小野 寛晰
Review of Symbolic Logic   10 259-283   2017年   [査読有り]
Semantical approach to cut elimination and subformula property in modal logic
小野 寛晰
Structural Analysis of Non-Classical Logics   1-15   2015年   [査読有り][依頼有り]
Modal twist-structures over residuated lattices
小野 寛晰
Logic Journal of the IGPL   22 440-457   2014年   [査読有り]
Uniform interpolation in substructural logics
小野 寛晰
Review of Symbolic Logic   7 455-483   2014年   [査読有り]
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
小野 寛晰
Studia Logica   100 339-359   2012年   [査読有り]
Glivenko theorems and negative translations in substructural predicate logic
小野 寛晰
Archive for Mathematical Logic   51 695-707   2012年   [査読有り]
On involutive FL_e -monoids
小野 寛晰
Archive for Mathematical Logic   51 719-938   2012年   [査読有り]
Algebraic Logic
小野 寛晰
Logic and Philosophy Today   1 219-244   2011年   [査読有り][依頼有り]
H. Kihara and H. Ono
Journal of Logic and Computation   20(4) 823-875   2010年
Logics without contraction rule and residuated latices
H. Ono
Australasian Journal of Logic   8(1) 1-32   2010年

書籍等出版物

 
情報代数
共立出版   1994年   
情報科学のための論理
日本評論社   1994年   
Residuated Lattices: an algebraic glimpse at substructural logics
Elsevier   2007年   
現代数理論理学序説
日本評論社   2010年   ISBN:978-4-535-78556-4

講演・口頭発表等

 
Semi-completeness -- a uniform algebraic approach to cut elimination [招待有り]
小野 寛晰
6th International Conference on Logic, Rationality and Interaction   2017年9月   
An algebraic approach to subformula property and cut elimination for modal logics [招待有り]
小野 寛晰
Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium   2016年10月   
Analytic cut and interpolation for bi-intuitionistic logic [招待有り]
小野 寛晰
Coherence and Truth   2015年12月   
Uniform interpolation in substructural predicate logics [招待有り]
小野 寛晰
The second Asian Workshop on Philosophical Logic   2014年4月   
Translation results in substructural logics [招待有り]
小野 寛晰
4th World Congress and School on Universal Logic   2013年4月   
Recent development of substructural logics: from a methodological point of view, [招待有り]
小野 寛晰
Taiwan Philosophical Logic Colloquium,   2012年12月   
Algebraic perspective on nonclassical logics [招待有り]
小野 寛晰
Twelfth Asian Logic Conference   2011年12月   
Crawley completions and semantics for substructural predicate logics [招待有り]
小野 寛晰
Ordered Groups and Lattices in Algebraic Logic   2011年9月   
Semantical approach to superintuitionistic and substructural predicate logics [招待有り]
小野 寛晰
2nd International Conference on Order, Algebra, and Logics   2011年6月   
Complete ideal completions of residuated lattices and completeness of substructural predicate logics
Logic, Algebra and Truth Degrees 2010   2010年