5 results
Kazuo Matsumoto. Decision procedure for modal sentential calculus S3. Osaka mathematical journal, vol. 12 no. 1 (1960), pp. 167–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 (1957), pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 (1958), p. 147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi, II. Osaka mathematical journal, vol. 11 no. 1 (1959), pp. 115–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi. Gentzen decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 125–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi. Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 139–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- September 1975
-
- Article
- Export citation