Mitsuhiro Okada (okada)

Contributions to Philosophie.ch

Bibliography

Hartimo, Mirja Helena and Okada, Mitsuhiro. 2016. “Syntactic Reduction in Husserl’s Early Phenomenology of Arithmetic.” Synthese 193(3): 937–969.
Kushida, H. and Okada, Mitsuhiro. 2003. “A Proof-Theoretic Study of the Correspondence of Modal Logic and Classical Logic.” The Journal of Symbolic Logic 68(4): 1403–1414.
Marion, Mathieu and Okada, Mitsuhiro. 2014. “Wittgenstein on Equinumerosity and Surveyability.” Grazer Philosophische Studien 89: 61–78. “Themes from Wittgenstein and Quine,” ed. by Kai Büttner, Florian Demont, David Dolby, Anne-Katrin Schlegel and Dirk Greimann.
Okada, Mitsuhiro and Smith, Barry, eds. 2012. Interdisciplinary Ontology. Proceedings of the Fifth Interdisciplinary Ontology Meeting (Tokyo, Japan, February 23-24, 2012). Tokyo: Keio University Press.
Okada, Mitsuhiro and Terui, Kazushige. 1999. “The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.” The Journal of Symbolic Logic 64(2): 790–802.