20 found
Sort by:
  1. Megumi Okada (forthcoming). Reconsideration of English Education Policy in Japan: How Language Planners Can Challenge English Imperialism. Sophia.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Tomomi Fujimura, Yoshi-Taka Matsuda, Kentaro Katahira, Masato Okada & Kazuo Okanoya (2012). Categorical and Dimensional Perceptions in Decoding Emotional Facial Expressions. Cognition and Emotion 26 (4):587-601.
  3. Mathieu Marion & Mitsuhiro Okada (2012). Wittgenstein et le lien entre la signification d'un énoncé mathématique et sa preuve. Philosophiques 39 (1):101-124.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Generalized Syllogistic Inference System Based on Inclusion and Exclusion Relations. Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Kentaro Katahira, Tomomi Fujimura, Kazuo Okanoya & Masato Okada (2011). Decision-Making Based on Emotional Images. Frontiers in Psychology 2.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.
    In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. D. Andler, M. Okada & I. Watanabe (eds.) (2006). Reasoning and Cognition.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. J. Ando, C. Shikishima, K. Hiraishi, Y. Sugimoto, R. Takemura & M. Okada (2006). At the Crossroads of Logic, Psychology, and Behavioral Genetics. In D. Andler, M. Okada & I. Watanabe (eds.), Reasoning and Cognition. 9-36.
    No categories
     
    My bibliography  
     
    Export citation  
  10. Mitsuhiro Okada (2004). Linear Logic and Intuitionistic Logic. Revue Internationale de Philosophie 4:449-481.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
    It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal logic S4; we (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Masashi Okada (2003). Music-Picture: One Form of Synthetic Art Education. Journal of Aesthetic Education 37 (4):73-84.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Misao Nagayama & Mitsuhiro Okada (2001). A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics. Journal of Symbolic Logic 66 (4):1524-1542.
    This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and Abrusci's non-commutative Linear Logic MNLL. As a corollary we obtain an affirmative answer to the open question whether a known quadratic-time algorithm for the correctness checking of proof nets for MCLL and MNLL can be improved to linear-time.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Masahiro Hamano & Mitsuhiro Okada (1998). A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees. Archive for Mathematical Logic 37 (2):67-89.
    We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Masahiro Hamano & Mitsuhiro Okada (1997). A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra Game. Mathematical Logic Quarterly 43 (1):103-120.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Mitsuhiro Okada (1989). Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants. Annals of the Japan Association for Philosophy of Science 7 (4):163-172.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Mitsuhiro Okada (1988). On a Theory of Weak Implications. Journal of Symbolic Logic 53 (1):200-211.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Mitsuhiro Okada (1987). A Simple Relationship Between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams. Journal of Symbolic Logic 52 (3):577-581.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
    We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation