Department of Philosophy

Research Output 1996 2019

  • 35 Article
  • 14 Conference contribution
  • 2 Chapter
  • 1 Conference article
Filter
Article
Article
41 Citations (Scopus)

Abstract data type systems

Jouannaud, J. P. & Okada, M., 1997 Feb 28, In : Theoretical Computer Science. 173, 2, p. 349-391 43 p.

Research output: Contribution to journalArticle

Abstract data types
Abstract Data Types
Type Systems
Schema
Calculus
17 Citations (Scopus)

A Diagrammatic Inference System with Euler Circles

Mineshima, K., Okada, M. & Takemura, R., 2012 Jul, In : Journal of Logic, Language and Information. 21, 3, p. 365-391 27 p.

Research output: Contribution to journalArticle

Linguistics
Semantics
deduction
formalization
eighteenth century
4 Citations (Scopus)

A direct independence proof of Buchholz's Hydra Game on finite labeled trees

Hamano, M. & Okada, M., 1998 Mar, In : Archive for Mathematical Logic. 37, 2, p. 67-89 23 p.

Research output: Contribution to journalArticle

Labeled Trees
Independence Results
Game
Inductive Definitions
Cut-elimination
5 Citations (Scopus)

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Mineshima, K., Okada, M. & Takemura, R., 2012 Aug, In : Studia Logica. 100, 4, p. 753-785 33 p.

Research output: Contribution to journalArticle

Inclusion
Fragment
Natural Language
Normalization
Logic
6 Citations (Scopus)
Linear Logic
Characterization Theorem
Proof Nets
Multiplicative
Fragment
2 Citations (Scopus)
Linear Logic
Security Protocols
Logic
Network protocols
Semantics
1 Citation (Scopus)

A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Nagayama, M. & Okada, M., 2001 Dec, In : Journal of Symbolic Logic. 66, 4, p. 1524-1542 19 p.

Research output: Contribution to journalArticle

Proof Nets
Linear Logic
Correctness
Multiplicative
Graph in graph theory
7 Citations (Scopus)

A proof-theoretic study of the correspondence of classical logic and modal logic

Kushida, H. & Okada, M., 2003 Dec, In : Journal of Symbolic Logic. 68, 4, p. 1403-1414 12 p.

Research output: Contribution to journalArticle

Classical Logic
Modal Logic
Correspondence
Predicate Logic
Quantifiers
2 Citations (Scopus)

A proof-theoretic study of the correspondence of hybrid logic and classical logic

Kushida, H. & Okada, M., 2007 Jan, In : Journal of Logic, Language and Information. 16, 1, p. 35-61 27 p.

Research output: Contribution to journalArticle

logic
Substitution reactions
equivalence
Group
deduction
11 Citations (Scopus)

A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game

Hamano, M. & Okada, M., 1997, In : Mathematical Logic Quarterly. 43, 1, p. 103-120 18 p.

Research output: Contribution to journalArticle

Game
Combinatorial Games
Relationships
Ordinals
Imply
37 Citations (Scopus)

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

Okada, M., 2002 Jun 3, In : Theoretical Computer Science. 281, 1-2, p. 471-498 28 p.

Research output: Contribution to journalArticle

Higher-order Logic
Cut-elimination
First-order Logic
Completeness
Semantics
1 Citation (Scopus)

Completeness and counter-example generations of a basic protocol logic: (Extended abstract)

Hasebe, K. & Okada, M., 2006 Jan 31, In : Electronic Notes in Theoretical Computer Science. 147, 1, p. 73-92 20 p.

Research output: Contribution to journalArticle

Counterexample
Completeness
Query
Logic
Network protocols
Formal Model
Semantics
Logic
Security Analysis
Probabilistic Methods
1 Citation (Scopus)

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]

Blanqui, F., Jouannaud, J. P. & Okada, M., 2018 Jan 1, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
24 Citations (Scopus)
Near-Infrared Spectroscopy
Frontal Lobe
Young Adult
Volunteers

En deçà et au-delà de la liberté ou l'impossibilitè de l'amour

Translated title of the contribution: On this side and beyond liberty: Or the impossibility of loveSaitou, Y., 2011 Aug 29, In : Revue Philosophique de la France et de La Etranger. 136, 3, p. 387-404 18 p.

Research output: Contribution to journalArticle

Liberty
Impossibility
3 Citations (Scopus)
Twin Studies
Individuality
Decision Making
Economics
Aptitude
40 Citations (Scopus)

Inductive-data-type systems

Blanqui, F., Jouannaud, J. P. & Okada, M., 2002 Feb 6, In : Theoretical Computer Science. 272, 1-2, p. 41-68 28 p.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
1 Citation (Scopus)
Logic
Divides
Correctness
3 Citations (Scopus)

Intuitionistic phase semantics is almost classical

Kanovich, M. I., Okada, M. & Terui, K., 2006 Feb, In : Mathematical Structures in Computer Science. 16, 1, p. 67-86 20 p.

Research output: Contribution to journalArticle

Phase Space
Linear Logic
Semantics
Intuitionistic Logic
Syntactics
14 Citations (Scopus)

Is g an entity? A Japanese twin study using syllogisms and intelligence tests

Shikishima, C., Hiraishi, K., Yamagata, S., Sugimoto, Y., Takemura, R., Ozaki, K., Okada, M., Toda, T. & Andou, J., 2009 May, In : Intelligence. 37, 3, p. 256-267 12 p.

Research output: Contribution to journalArticle

Twin Studies
Intelligence Tests
Intelligence
Behavioral Genetics
Dizygotic Twins
1 Citation (Scopus)

Linear logic and intuitionistic logic

Okada, M., 2004, In : Revue Internationale de Philosophie. 58, 230, p. 449-480 32 p.

Research output: Contribution to journalArticle

Intuitionistic Logic
Linear Logic

Mars et Vénus de Nicolas Poussin: Sa réception de l'art antique et de la poétique de Marino

Translated title of the contribution: Mars et Vénus by Nicolas Poussin: His reception of ancient art and the poetry of MarinoMochizuki, N., 2012, In : Dix-Septieme Siecle. 255, 2, p. 341-351 11 p.

Research output: Contribution to journalArticle

Nicolas Poussin
Venus
Reception
Ancient Art
Poetry
33 Citations (Scopus)

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

Okada, M., 1999 Sep 28, In : Theoretical Computer Science. 227, 1-2, p. 333-396 64 p.

Research output: Contribution to journalArticle

Higher-order Logic
Cut-elimination
Linear Logic
Normalization
Semantics
9 Citations (Scopus)
Cut-elimination
Normalization
Completeness
Semantics
Higher Order
10 Citations (Scopus)

Phase semantics for light linear logic

Kanovich, M. I., Okada, M. & Scedrov, A., 2003 Feb 18, In : Theoretical Computer Science. 294, 3, p. 525-549 25 p.

Research output: Contribution to journalArticle

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition
10 Citations (Scopus)

Phase semantics for light linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1997, In : Electronic Notes in Theoretical Computer Science. 6, p. 221-234 14 p.

Research output: Contribution to journalArticle

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition
1 Citation (Scopus)

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Morii, M., Ideno, T., Takemura, K. & Okada, M., 2017 Aug 17, In : Frontiers in Psychology. 8, AUG, 1388.

Research output: Contribution to journalArticle

Decision Making
Eye Movements
Color
hydroquinone
8 Citations (Scopus)

Specifying real-time finite-state systems in linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1998, In : Electronic Notes in Theoretical Computer Science. 16, 1, p. 42-59 18 p.

Research output: Contribution to journalArticle

Linear Logic
Real-time
Logic programming
Safety
Proof Search
1 Citation (Scopus)

Syntactic reduction in Husserl’s early phenomenology of arithmetic

Hartimo, M. & Okada, M., 2016 Mar 1, In : Synthese. 193, 3, p. 937-969 33 p.

Research output: Contribution to journalArticle

phenomenology
mathematics
computer science
guarantee
Phenomenology
61 Citations (Scopus)

The finite model property for various fragments of intuitionistic linear logic

Okada, M. & Terui, K., 1999 Jun, In : Journal of Symbolic Logic. 64, 2, p. 790-802 13 p.

Research output: Contribution to journalArticle

Finite Models
Linear Logic
Intuitionistic Logic
Fragment
Multiplicative

Theoretical Computer Science: Preface

Girard, J. Y., Okada, M. & Scedrov, A., 2003 Feb 18, In : Theoretical Computer Science. 294, 3, p. 333 1 p.

Research output: Contribution to journalArticle

Computer Science
7 Citations (Scopus)

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2013, (Accepted/In press) In : Journal of Visual Languages and Computing.

Research output: Contribution to journalArticle

Students
Leonhard Euler
Efficacy
Syllogistic Reasoning
Diagrams
5 Citations (Scopus)

Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)

Andou, J., Fujisawa, K., Shikishima, C., Hiraishi, K., Nozaki, M., Yamagata, S., Takahashi, Y., Ozaki, K., Suzuki, K., Deno, M., Sasaki, S., Toda, T., Kobayashi, K., Sugimoto, Y., Okada, M., Kijima, N., Ono, Y., Yoshimura, K., Kakihana, S., Maekawa, H. & 4 others, Kamakura, T., Nonaka, K., Kato, N. & Ooki, S., 2013 Feb, In : Twin Research and Human Genetics. 16, 1, p. 202-216 15 p.

Research output: Contribution to journalArticle

Research
Twin Studies
Aptitude
Developmental Genes
Gene-Environment Interaction

Verification methods for the computationally complete symbolic attacker based on indistinguishability

Bana, G., Chadha, R., Eeralla, A. K. & Okada, M., 2019 Oct, In : ACM Transactions on Computational Logic. 21, 1, 2.

Research output: Contribution to journalArticle

Diffie-Hellman
Network protocols
Key Exchange
Axioms
Acoustic waves