Concepedia

Masao Ohnishi

MO

Statistics

Publications

4

Citations

154

H-Index

4

Active since

1950

Masao Ohnishi is an author specializing in group structure, linear transformations, and natural sciences.

Publications per year

1950–1961

4

Publications

4

Gentzen method in modal calculi. II

Masao Ohnishi, Kazuo Matsumoto · Institutional Repositories DataBase (IRDB) · 1959 · 116 citations · Full text

, , +7

On linearization of ordered groups

Masao Ohnishi · Project Euclid (Cornell University) · 1950 · 14 citations · Full text

, , +7

Linear-order on a group

Masao Ohnishi · Institutional Repositories DataBase (IRDB) · 1952 · 13 citations · Full text

, , +4

Gentzen decision procedures for Lewis's systems S2 and S3

Masao Ohnishi · Project Euclid (Cornell University) · 1961 · 11 citations · Full text

, , +1

1–4 of 4