Masao Ohnishi

Gentzen method in modal calculi. II

Kazuo Matsumoto, Masao Ohnishi, M. Ohnishi, 1957 .

A System for Strict Implication

Kazuo Matsumoto, Masao Ohnishi, 1964 .

Gentzen decision procedures for Lewis's systems S2 and S3

Masao Ohnishi, 1961 .

Correction to our paper: "Gentzen method in modal calculi"

Kazuo Matsumoto, Masao Ohnishi, M. Ohnishi, 1958 .

Linear-order on a group

Masao Ohnishi, M. Ohnishi, 1952 .