Keio University
21-40 items (total 51)

Advances in Computer Science - ASIAN 2006 (eds. by Mitsuhiro Okada, Ryo Takemura and Juko-Ando)

Author
Mitsuhiro Okada and Ichiro Satoh, editors
Publisher
Springer
Role
Joint editor
Book Category
Scholarly book

Some remarks on linear logic

Author
Mitsuhiro Okada
Role
Sole author
Book Category
Scholarly book

Some remarks on linear logic. In One Hundred Years of Intuitionism (1907-2007) (eds. by Mark van Ateen,Pascal Boldini, Michel Bourdesu and Gerhard Heinzmann)

Author
Mitsuhiro Okada
Role
Joint author
Book Category
Scholarly book

Reports on Interdisciplinary Logical Reasoning Studies

Author
Mitsuhiro Okada, Ryo Takemura, and Juko Ando, editors.
Publisher
Keio University Press
Role
Joint editor
Book Category
Scholarly book

Interdisciplinary Ontology (Proceedings of the First Interdisciplinary Ontology Meeting, February 26th-27th, 2008, Tokyo)

Author
Mitsuhiro Okada
Publisher
Keio University Open Research Centre for Logic and Ontology, Keio University Press
Role
Joint editor
Book Category
Scholarly book

Remarks on Logic for Process Descriptions in Ontological Reasoning: A drug Interaction Ontology (Dio) Case Study. In Interdisciplinary Ontology (eds. by Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto)

Author
Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto
Publisher
Keio University Press
Role
Joint author
Scope of Responsibility
127-138
Book Category
Scholarly book

On Wittgenstein's Remarks on Recursive Proofs: A Preliminary Report. In Essays in the Foundations of Logical and Phenomenological Studies (ed. by Mitsuhiro Okada)

Author
Mitsuhiro Okada
Publisher
Keio University Press
Role
Sole author
Scope of Responsibility
121-131
Book Category
Scholarly book

Essays in the Foundations of Logical and Phenomenological Studies

Author
Mitsuhiro Okada,editor
Publisher
Keio University Press

Interdisciplinary Ontology

Author
Mitshihiro Okada and Barry Smith,editors.
Role
Joint editor
Book Category
Scholarly book

A Linear Logical View of Intuitionistic Logic. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Author
Mitsuhiro Okada
Publisher
Keio University Press
Role
Sole author
Scope of Responsibility
185-229
Book Category
Scholarly book

At the crossroads of logic, psychology, and behavioral genetics. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)

Author
Juko Ando, Chizuru Sikishima, Kai Hiraishi, Yutaro Sugimoto, Ryo takemura, and Mitsuhiro Okada
Publisher
Keio University Press
Role
Joint author
Scope of Responsibility
Development of the deductive resoning test in keio twin-baroco project

Cognitive neuroscience for deductive reasoning and inhibitory mechanism:On the belief-bias effect. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)

Author
Takeo Tsujii, Mitsuhiro Okada, and Shigeru Watanabe
Publisher
Keio University Press
Role
Joint author
Scope of Responsibility
On the belief-bias effect

Drug Interaction Ontology (DIO) and the Resource-Sensitive lLogical Inferences.In Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (eds. by Kokichi Futatsugi et al.)

Author
Mitsuhiro Okada, Yutaro Sugimoto, and Akihiko Konagaya
Publisher
Algebra,Meaning,and computation Springer Lecture Notes in Computer Science, Vol.4060 Springer
Role
Joint author
Scope of Responsibility
616-642

Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Author
Mitsuhiro Okada
Publisher
Keio University Press
Role
Edit
Book Category
Scholarly book

Hilbert School and Husserl on the Foundations of Mathematics: Consistency Problem and Evidence Theory. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Author
Mitsuhiro Okada
Publisher
Keio University Press
Scope of Responsibility
127-184
Book Category
Scholarly book

Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler, Yoshinori Ogawa, Mitsuhiro Okada, and Shigeru Watanabe.)

Author
Mitsuhiro Okada
Publisher
Keio University Press

Resoning and Congnition

Author
Daniel Andler,Yoshinori Ogawa,Mitsuhiro Okada,and Shigeru watanebe,editors.
Publisher
Keio University Press
Role
Joint author
Scope of Responsibility
Vol.2

Images and Reasoning: Proceedings of the Intedisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004)

Author
Pierre Grialou, Giuseooe Longo, and Mitsuhiro Okada, editors.
Publisher
Keio University Press
Role
Joint editor
Book Category
Scholarly book

ああいえば幸福. In 幸福の逆説 (巽 孝之, 坂上 孝之, 宮坂 敬造, 岡田 光弘, 坂本 光 編)

Author
岡田 光弘
Publisher
慶應義塾大学出版会
Role
Joint author
Book Category
Scholarly book

A Behavioural Genetic Study of Syllogism Solving Using Linguistic and Graphical Representations: A Preliminary Report. In Images and Reasoning, volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)

Author
Mitsuhiro Okada, Pierre Grialou, Ando Juko, Shikishima Chizuru, Takemura Ryo.
Role
Joint author
Scope of Responsibility
69-85