研究者
J-GLOBAL ID:200901049167396400
更新日: 2022年08月18日
高野 道夫
タカノ ミチオ | Takano Mitio
所属機関・部署:
新潟大学 教育学部 自然情報講座
新潟大学 教育学部 自然情報講座 について
「新潟大学 教育学部 自然情報講座」ですべてを検索
機関情報を見る
職名:
教授
研究分野 (2件):
応用数学、統計数学
, 数学基礎
研究キーワード (2件):
数理論理学
, Mathematical Logic
競争的資金等の研究課題 (2件):
1989 - 様相論理の部分式性
1989 - Subformula Property of Modal Logics
MISC (20件):
Takano Mitio. Finite model property for an intuitionistic modal logic. Nihonkai Mathematical Journal. 2003. 14. 2. 125-132
Finite model property for an intuitionistic modal logic. Nihonkai Mathematical Journal. 2003. 14. 2. 125-132
Mitio Takano. Strong completeness of lattice-valued logic. Archive for Mathematical Logic. 2002. 41. 5. 497-505
M Takano. Strong completeness of lattice-valued logic. ARCHIVE FOR MATHEMATICAL LOGIC. 2002. 41. 5. 497-505
A modified subformula property for the modal logics K5 and K5D. Bulletin of the Section of Logic, University of Lodz. 2001. 30. 2. 115-122
もっと見る
Works (2件):
非標準論理研究の新しい展開
1998 - 2000
Advances in Nonclassical Logic
1998 - 2000
学歴 (4件):
- 1978 東京教育大学大学院 理学研究科 応用数理学
- 1978 Tokyo University of Education Graduate School, Division of Natural Science Foundations of Mathematical Sciences
- 1970 東京工業大学 理工学部 数学
- 1970 東京工業大学
学位 (1件):
博士(理学) (筑波大学)
経歴 (4件):
1982 - 1993 新潟大学 助教授
1982 - 1993 Niigata University, Assistant Professor
1979 - 1981 新潟大学 講師
1979 - 1981 新潟大学
所属学会 (4件):
科学基礎論学会
, 日本数学会
, The Japan Association for Philosophy of Science
, The Mathematical Society of Japan
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM