小野 寛晰

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

研究分野

 
 

経歴

 
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      2016年   [査読有り]
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

講演・口頭発表等

 
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年   
Preserving Infinite Joins and Meets
l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic   2010年