A Study of Intermediate Predicate Logics

Hiroakira Ono
Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Cite this article

Hiroakira Ono, A Study of Intermediate Predicate Logics. Publ. Res. Inst. Math. Sci. 8 (1972), no. 3, pp. 619–649