小野寛晰 (Hiroakira Ono) - マイポータル

基本情報

所属: 北陸先端科学技術大学院大学名誉教授

学位: 理学博士(京都大学)
理学修士(東京大学)

J-GLOBAL ID: 200901085185033825
researchmap会員ID: 1000165681

研究キーワード

研究分野

経歴

2013年 - 2017年

北陸先端科学技術大学院大学, シニアプロフェッサー
2008年 - 2013年

北陸先端科学技術大学院大学、特別招聘教授
1993年 - 2008年

北陸先端科学技術大学院大学教授
1985年 - 1993年

広島大学教授
1976年 - 1985年

広島大学助教授
1973年 - 1976年

津田塾大学助教授
1968年 - 1973年

京都大学助手

学歴

委員歴

2006年 - 2008年

北陸先端科学技術大学院大学, 副学長・理事
2006年 - 2008年

Association for Symbolic Logic, 理事
2003年 - 2005年

日本数学会, 評議員
1993年 - 1995年

Association for Symbolic Logic,, 評議員

論文

Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic

Hiroakira Ono, Katsuhiko Sano

Advances in Modal Logic 14 601-623 2022年査読有り最終著者
Residuated expansions of lattice-ordered structures

Majid Alizadeh, Hiroakira Ono

Mathematics, Logic, and their Philosophies, Logic, Epistemology, and the Unity of Science 49 93-116 2021年査読有り招待有り責任著者
A cut-free labelled sequent calculus for dynamic epistemic logic

S. Nomura, H. Ono, K. Sano

Journal of Logic and Computation 30(1) 321-348 2020年査読有り
A uniform algebraic approach to cut elimination via semi-completeness

小野寛晰

Philosophical Logic: Current Trends in Asia 19-43 2017年12月査読有り招待有り
ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

Tomasz Kowalski, Hiroakira Ono

REVIEW OF SYMBOLIC LOGIC 10(2) 259-283 2017年6月査読有り
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016) 9537 283-298 2016年査読有り
Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

Hiroakira Ono

STRUCTURAL ANALYSIS OF NON-CLASSICAL LOGICS 1-15 2016年査読有り招待有り
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono

REVIEW OF SYMBOLIC LOGIC 7(3) 455-483 2014年9月査読有り
Modal twist-structures over residuated lattices

Hiroakira Ono, Umberto Rivieccio

LOGIC JOURNAL OF THE IGPL 22(3) 440-457 2014年6月査読有り
On involutive FL (e) -monoids

Sandor Jenei, Hiroakira Ono

ARCHIVE FOR MATHEMATICAL LOGIC 51(7-8) 719-738 2012年11月査読有り
Glivenko theorems and negative translations in substructural predicate logics

Hadi Farahani, Hiroakira Ono

ARCHIVE FOR MATHEMATICAL LOGIC 51(7-8) 695-707 2012年11月査読有り
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

Hiroakira Ono

STUDIA LOGICA 100(1-2) 339-359 2012年4月査読有り
Algebraic Logic

小野寛晰

Logic and Philosophy Today 1 219-244 2011年査読有り招待有り筆頭著者
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics

Hitoshi Kihara, Hiroakira Ono

JOURNAL OF LOGIC AND COMPUTATION 20(4) 823-875 2010年8月査読有り
Cut elimination and strong separation for substructural logics: An algebraic approach

Nikolaos Galatos, Hiroakira Ono

ANNALS OF PURE AND APPLIED LOGIC 161(9) 1097-1133 2010年6月査読有り
Fuzzy logics from substructural perspective

Tomasz Kowalskia, Hiroakira Ono

FUZZY SETS AND SYSTEMS 161(3) 301-310 2010年2月査読有り
Logics without contraction rule and residuated latices

H. Ono

Australasian Journal of Logic 8(1) 1-32 2010年査読有り招待有り
Glivenko theorems revisited

Hiroakira Ono

Annals of Pure and Applied Logic 161(2) 246-250 2009年11月査読有り
ALGEBRAIC CHARACTERIZATIONS OF VARIABLE SEPARATION PROPERTIES

Hitoshi Kihara, Hiroakira Ono

REPORTS ON MATHEMATICAL LOGIC, NO 43 (43) 43-63 2008年査読有り
Glivenko theorems for substructural logics over FL

Nikolaos Galatos, Hiroakira Ono

JOURNAL OF SYMBOLIC LOGIC 71(4) 1353-1384 2006年12月査読有り

もっとみる

MISC

A scientific autobiography

小野寛晰

Hiroakira Ono on Substructural Logics, Outstanding Contributions to Logic 23 1-23 2021年11月招待有り筆頭著者
Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics Preface

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

STUDIA LOGICA 100(6) 1059-1062 2012年12月
Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)

小野寛晰

数理解析研究所講究録 927 88-103 1995年11月
非標準理論とその応用：非標準論理の現状とその展望

小野寛晰

情報処理 30(6) p617-625 1989年6月15日
Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)

小野寛晰

数理解析研究所講究録 588 128-135 1986年4月
数学と論理 (ことばと論理・数学と論理<特集>)

小野寛晰

数学セミナ- 24(6) p19-26 1985年6月
Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

小野寛晰

数理解析研究所講究録 516 180-195 1984年3月
順序半群によるセマンティクス(数学基礎論)

小野寛晰, 古森雄一

数理解析研究所講究録 480 130-141 1983年2月
Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)

中村昭, 小野寛晰

数理解析研究所講究録 454 94-109 1982年4月

書籍等出版物

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年

講演・口頭発表等

論理的推論のさまざまな姿とその解析

小野寛晰

日本数学会2019年度年会 2019年3月招待有り
Bi-intuitionistic logic revisited

小野寛晰

The 4th Taiwan Philosophical Logic Colloquium 2018年11月招待有り
Downward saturation and semi-completeness -- a semantical approach to cut elimination

小野寛晰

Algebra and Substructural Logics -- Take 6 2018年6月招待有り
Cut elimination and semi-completeness

小野寛晰

Workshop on Logic, Algebra and Category Theory: LAC 2018 2018年2月招待有り
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年
Preserving Infinite Joins and Meets

l-Groups and MV-Algebras: Interaction and Impact on Algebras of Logic 2010年
Completions, distributivity and algebraic completeness

8th International Conference on Logic and Cognition 2009年
Implications as Residuals: a perspective of substructural logics

The First Taiwan Logic and Analytical Philosophy Conference 2009年
Algebraic approach to nonclassical predicate logics

7th Panhellenic Logic Symposium 2009年
Amalgamation, interpolation and Beth definability

International Conference on Residuated Structures: Algebra and Logic 2008年
Interplay between algebra and logic

International Conference on Order, Algebra and Logics 2007年

もっとみる

所属学協会

Association for Symbolic Logic

共同研究・競争的資金等の研究課題

代数的方法による論理学の新たな展開

日本学術振興会科学研究費助成事業基盤研究(C) 2005年 - 2007年

小野寛晰, ガラトスニコラオス, 田中義人, 関隆宏, 宮崎裕, ボウフェリックス
多様相論理の総合的研究とゲーム理論への応用

日本学術振興会科学研究費助成事業基盤研究(B) 2004年 - 2006年

鈴木信行, 小野寛晰, 金子守, 依岡輝幸
クリプキ意味論の拡張と認識論理・ゲーム理論への応用

日本学術振興会科学研究費助成事業基盤研究(C) 2001年 - 2003年

鈴木信行, 金子守, 小野寛晰
個人の社会認識と社会・経済規範

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

金子守, 鈴木信行, 松井彰彦, 小野寛晰, 秋山英三, 吉田雅敏, 畳谷整克, 梶井厚志
部分構造論理と代数構造

日本学術振興会科学研究費助成事業基盤研究(C) 2001年 - 2003年

小野寛晰, 田中義人, 志村立矢, 古森雄一, 浜野正浩, 東条敏, コワルスキトマシュ
部分構造論理の代数系

日本学術振興会科学研究費助成事業萌芽的研究 1999年 - 2000年

小野寛晰, コワルスキトマシュ
非標準論理研究の新しい展開

日本学術振興会科学研究費助成事業基盤研究(B) 1998年 - 2000年

小野寛晰, 志村立矢, 古森雄一, 金子守, 高野道夫, 鈴木信行
知識発見の論理に関する研究

日本学術振興会科学研究費助成事業特定領域研究(A) 1998年 - 2000年

佐藤雅彦, 野家啓一, 井田哲雄, 小野寛晰, 萩谷昌巳, 岡田光弘
カテゴリー論的計算機数学の総合的研究

日本学術振興会科学研究費助成事業基盤研究(A) 1996年 - 1998年

河原康雄, 宮野悟, 佐藤雅彦, 小野寛晰, 有川節夫, 小林孝次郎, 林晋, 向井国昭
非標準論理とその情報科学への応用

日本学術振興会科学研究費助成事業基盤研究(C) 1997年 - 1997年

小野寛晰, 外山芳人, 金子守, 鈴木信行, 高野道夫, 古森雄一
理論計算機科学における数理論理学の応用

日本学術振興会科学研究費助成事業基盤研究(C) 1996年 - 1997年

小野寛晰, 青戸等人, 鹿島亮, 石原哉, 外山芳人, WOLTER Frank, 酒井正彦
アルゴリズム論に関する総合的研究

日本学術振興会科学研究費助成事業基盤研究(A) 1994年 - 1996年

小林孝次郎, 宮野悟, 加納幹雄, 榎本彦衛, 五十嵐滋, 有川節夫, 笠井琢美, 小野寛晰, 佐藤雅彦, 伊藤達郎
計算機プログラムの理論的基礎の総合的研究

日本学術振興会科学研究費助成事業総合研究(A) 1993年 - 1995年

辻尚史, 一松信, 小野寛晰, 難波完爾, 米田信夫, 五十嵐滋, 水谷哲也, 細野千春
数理論理及びその周辺分野の総合的研究

日本学術振興会科学研究費助成事業総合研究(A) 1992年 - 1994年

角田譲, 釜江哲朗, 本橋信義, 加茂静夫, 林晋, 小野寛晰, 篠田寿一, 田中一之, 高橋譲嗣, 八杉舶満利子
概念形成・知識獲得過程の理論化

日本学術振興会科学研究費助成事業重点領域研究 1992年 - 1993年

有川節夫, 横森貴, 富樫敦, 小野寛晰, 佐藤優子, 石塚満, 篠原武, 原口誠, 丸岡章
微分方程式の対称性及び保存則の研究

日本学術振興会科学研究費助成事業一般研究(C) 1992年 - 1992年

渡辺芳英, 佐藤学, 岩瀬晃盛, 会沢邦夫, 小野寛晰, 伊藤雅明
概念形成・知識獲得過程の理論化

日本学術振興会科学研究費助成事業重点領域研究 1991年 - 1991年

有川節夫, 篠原武, 原口誠, 石塚満, 丸岡章, 小野寛晰
人間と機械における学習・推論と認知プロセスに関する研究

日本学術振興会科学研究費助成事業重点領域研究 1990年 - 1990年

坂部俊樹, 石塚満, 茨木俊秀, 有川節夫, 米崎直樹, 小野寛晰
離散的情報数学の総合的研究

日本学術振興会科学研究費助成事業総合研究(A) 1988年 - 1990年

廣瀬健, 上江洲忠弘, 米田信夫, 中島玲二, 藤野精一, 伊理正夫, 河原康雄, 小野寛晰, 佐藤雅彦, 榎本彦衛
人間と機械における学習・推論と認知プロセスに関する研究

日本学術振興会科学研究費助成事業重点領域研究 1989年 - 1989年

稲垣康善, 米崎直樹, 小野寛晰

もっとみる

小野寛晰

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧