森川治 (Osamu Morikawa) - マイポータル - researchmap

基本情報

学位: 理学修士(東京教育大学)
理学(博士)(明治大学)

J-GLOBAL ID: 200901073859542846
researchmap会員ID: 1000140229

研究キーワード

2

研究分野

2

経歴

3

1972年 - 1977年

福島工業高等専門学校助手1978-1992 福島工業高等専門学校助教授1993- 福島工業高等専門学校教授
1972年 - 1977年

Fukusima National College of Technology. Research Associate.1978-1992 Fukusima National College of Technology. Assistant Profssor1993- Fukusima National College of Technology. Profssor
福島工業高等専門学校コミュニケーション情報学科, 教授

学歴

4

- 1972年

東京教育大学大学院, 理学研究科, 応用数理学科
- 1972年

Tokyo University of Education, Graduate School, Division of Natural Science, Mathematical Sience
- 1970年

日本大学, 理工学部, 数学科
- 1970年

日本大学

MISC

9

Extended Gentzen-type Formalations of two Femporal Logics Based on Incomplete Knowledge Systems

Notre Dame Journal of Formal Logic 42(1) 55-64 2003年
Extended Gentzen-type Formalations of two Femporal Logics Based on Incomplete Knowledge Systems

Notre Dame Journal of Formal Logic 42(1) 55-64 2003年
An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

O Morikawa

FUZZY SETS AND SYSTEMS 101(1) 115-123 1999年1月
ファジイ時相演算をもつ有限ファジイ様相論理の公理化

日本ファジィ学会誌 10巻, 968-972 1998年
An Axiomatization of the finite Fuzzy Modal Logic with Fuzzy Temporal Operations

Japanese Journal of Fuzzy Theory and Systems 10.5.593-600 1998年
A fuzzy model logic of Gentgen Style

Proceedings of the 4th International Workshop on Rough sets, Fuzzy Sets and Machine discovery 44-46 1996年
A SEQUENTIAL FORMULATION OF A LOGIC-BASED ON FUZZY MODALITIES

O MORIKAWA

FUZZY SETS AND SYSTEMS 63(2) 181-185 1994年4月
Many valued Temporal Logics

福島工業高等専門学校研究紀要 26 39-43 1990年
Some modal logics based on a three-valued logic

Notre Dame Journal of Formal Logic 30(1 130-137) 1989年

所属学協会

3

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

2

多値様相論理学

基礎科学研究 1995年
Many-Valued Modal Logic

Basic Science Research Program 1995年