Rchr
J-GLOBAL ID:200901049167396400
Update date: Aug. 18, 2022
Takano Mitio
タカノ ミチオ | Takano Mitio
Affiliation and department:
Niigata University Faculty of Education, Chair of Mathematical and Natural Sciences
About Niigata University Faculty of Education, Chair of Mathematical and Natural Sciences
Search "Niigata University Faculty of Education, Chair of Mathematical and Natural Sciences"
Detailed information
Job title:
Professor
Research field (2):
Applied mathematics and statistics
, Basic mathematics
Research keywords (2):
数理論理学
, Mathematical Logic
Research theme for competitive and other funds (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
more...
Works (2):
非標準論理研究の新しい展開
1998 - 2000
Advances in Nonclassical Logic
1998 - 2000
Education (4):
- 1978 東京教育大学大学院 理学研究科 応用数理学
- 1978 Tokyo University of Education Graduate School, Division of Natural Science Foundations of Mathematical Sciences
- 1970 Tokyo Institute of Technology
- 1970 Tokyo Institute of Technology Faculty of Science and Engineering
Professional career (1):
Ph.D.(Science) (University of Tsukuba)
Work history (4):
1982 - 1993 Niigata University
1982 - 1993 Niigata University, Assistant Professor
1979 - 1981 Niigata University
1979 - 1981 Niigata University, Lecturer
Association Membership(s) (4):
科学基礎論学会
, 日本数学会
, The Japan Association for Philosophy of Science
, The Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM