Mitsuhiro Okada
Some remarks on linear logic
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Drug interaction ontology (dio) and the resource-sensitive logical inferences
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert
2002
in: Progress in discovery science, Dordrecht : Springer