Results for 'Takano Kouji'

68 found
Order:
  1.  1
    Comparison of Four Control Methods for a Five-Choice Assistive Technology.Sebastian Halder, Kouji Takano & Kenji Kansaku - 2018 - Frontiers in Human Neuroscience 12.
  2.  11
    A Region-Based Two-Step P300-BMI in Patients with Spinocerebellar Ataxia.Takano Kouji, Ikegami Shiro, Kawase Toshihiro, Nagao Masahiro, Komori Tetsuo & Kansaku Kenji - 2015 - Frontiers in Human Neuroscience 9.
  3.  11
    Usage of an EMG Controlled Robotic Arm in Able-Bodied and Amputee Participants.Sato Yuki, Kawase Toshihiro, Takano Kouji & Kansaku Kenji - 2015 - Frontiers in Human Neuroscience 9.
  4.  26
    Mirror Reversal of Slanted Objects: A Psycho-Optic Explanation.Yohtaro Takano - 2015 - Philosophical Psychology 28 (2):240-259.
    No agreed-upon account of mirror reversal is currently available although it has been discussed for more than two thousand years since Plato. Mirror reversal usually refers to recognized left-right reversal of a mirror image. Depending on the nature and layout of a reflected object, however, top-bottom reversal may be recognized instead of left-right reversal; no reversal at all may be recognized; and the presence or absence of reversal may not be decidable. Takano (1998) proposed a psycho-optic theory to explain (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).
    The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Gentzenization of Trilattice Logics.Mitio Takano - 2016 - Studia Logica 104 (5):917-929.
    Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  8
    Is Self-Positive Information More Appealing Than Money? Individual Differences in Positivity Bias According to Depressive Symptoms.Keisuke Takano, Yudai Iijima, Shinji Sakamoto, Filip Raes & Yoshihiko Tanno - 2016 - Cognition and Emotion 30 (8).
  8. Intermediate Predicate Logics Determined by Ordinals.Pierluigi Minari, Mitio Takano & Hiroakira Ono - 1990 - Journal of Symbolic Logic 55 (3):1099-1124.
    For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable $\eta (> 0)$ , there exists a countable ordinal of the form β + η such that L(α (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    A Modified Subformula Property for the Modal Logics K5 and K5D.Mitio Takano - 2001 - Bulletin of the Section of Logic 30 (2):115-123.
  10.  33
    A Semantical Investigation Into Leśniewski's Axiom of His Ontology.Mitio Takano - 1985 - Studia Logica 44 (1):71 - 77.
    A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  15
    Ordered Sets R and Q as Bases of Kripke Models.Mitio Takano - 1987 - Studia Logica 46 (2):137 - 148.
    Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  35
    Association of Household Demographic Variables with Child Mortality in Côte D'Ivoire.Samuel Y. Andoh, Masahiro Umezaki, Keiko Nakamura, Masashi Kizuki & Takehito Takano - 2007 - Journal of Biosocial Science 39 (2):257-265.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Dedicated for the Memory of the Late Professor S. Maehara.Mitio Takano - forthcoming - Annals of the Japan Association for Philosophy of Science.
  14.  11
    Strong Completeness of Lattice-Valued Logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.
    Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  21
    Embeddings Between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
    Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  23
    Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
  17.  26
    Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):129-138.
  18.  13
    Processes of Change in a School-Based Mindfulness Programme: Cognitive Reactivity and Self-Coldness as Mediators.Katleen Van der Gucht, Keisuke Takano, Filip Raes & Peter Kuppens - 2017 - Cognition and Emotion 32 (3):658-665.
    The underlying mechanisms of the effectiveness of mindfulness-based interventions for emotional well-being remain poorly understood. Here, we examined the potential mediating effects of cognitive reactivity and self-compassion on symptoms of depression, anxiety and stress using data from an earlier randomised controlled school trial. A moderated time-lagged mediation model based on multilevel modelling was used to analyse the data. The findings showed that post-treatment changes in cognitive reactivity and self-coldness, an aspect of self-compassion, mediated subsequent changes in symptoms of depression, anxiety (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  15
    Cut-Free Systems for Three-Valued Modal Logics.Mitio Takano - 1992 - Notre Dame Journal of Formal Logic 33 (3):359-368.
  20.  22
    Completeness of a Cut-Free Calculus with Equality and Function Constants.Mitio Takano - 1985 - Archive for Mathematical Logic 25 (1):37-41.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  10
    Methodological Problems in Cross-Cultural Studies of Linguistic Relativity.Yohtaro Takano - 1989 - Cognition 31 (2):141-162.
  22.  14
    Extracting Reputation Expressions From Web-Based Review Sites by Using Causal Relationships.Atsuko Takano, Syo-ta Ikeoku & Yasuhiko Kitamura - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:322-332.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  14
    Bodygraphic Injury Surveillance System.Toshiki Tsuboi, Koji Kitamura, Yoshihumi Nishida, Yoichi Motomura, Tachio Takano, Tatsuhiro Yamanaka & Hiroshi Mizoguchi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:558-568.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    An Interpolation Theorem in Many-Valued Logic.Masazumi Hanazawa & Mitio Takano - 1986 - Journal of Symbolic Logic 51 (2):448-452.
  25.  4
    Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau.Mitio Takano - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):47-56.
  26.  12
    Sleep Habits and Psychosomatic Health Complaints of Bank Workers in a Megacity in Japan.Yutaka Motohashi & Takehito Takano - 1995 - Journal of Biosocial Science 27 (4):467-472.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  24
    Subformula Property in Many-Valued Modal Logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.
  28.  5
    Stuttering Thoughts: Negative Self-Referent Thinking Is Less Sensitive to Aversive Outcomes in People with Higher Levels of Depressive Symptoms.Yudai Iijima, Keisuke Takano, Yannick Boddez, Filip Raes & Yoshihiko Tanno - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  6
    Structure and Microstructure of Epitaxial SrnFenO3n−1films.O. I. Lebedev †, J. Verbeeck, G. Van Tendeloo, N. Hayashi, T. Terashima & M. Takano - 2004 - Philosophical Magazine 84 (36):3825-3841.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  6
    Reciprocal Altruism-Based Cooperation in a Social Network Game.Masanori Takano, Kazuya Wada & Ichiro Fukuda - forthcoming - Transactions of the Japanese Society for Artificial Intelligence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  8
    Mental Rotation.Yohtaro Takano & Matia Okubo - 2003 - In L. Nadel (ed.), Encyclopedia of Cognitive Science. Nature Publishing Group.
  32.  7
    Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Mathematical Logic Quarterly 37 (9‐12):129-138.
  33.  5
    Valid Sequents in Many-Valued Logics.Mitio Takano - 1980 - Annals of the Japan Association for Philosophy of Science 5 (5):245-260.
  34.  11
    Concreteness of Thinking and Self-Focus.Keisuke Takano & Yoshihiko Tanno - 2010 - Consciousness and Cognition 19 (1):419-425.
    The present study used the experience sampling method to detect fluctuations in thinking, such as self-focus or concreteness in daily life, and to examine their relationship with depressive symptoms and concurrent negative affect. Thirty-one undergraduates recorded their negative affect, ruminative self-focus, and concreteness of thinking eight times a day for 1 week. Multilevel modeling showed that individuals with increasing levels of depression showed lower levels of concreteness in their daily thinking. Further analysis revealed a significant positive association between momentary ruminative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  3
    Modeling of Traffic Accident in Multi-Agent-Based Traffic Simulator.Hideki Fujii, Shinobu Yoshimura & Yuya Takano - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26:42-49.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  3
    Martensitic Transformation in V3Ga Foils at Low Temperatures.Eckhard Nembach, Kyöji Tachikawa & Shigeo Takano - 1970 - Philosophical Magazine 21 (172):869-872.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    Language Space From Whole Body Motions and Its Application to Motion Recognition.Wataru Takano & Yoshihiko Nakamura - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (4):361-369.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    A Sequent Calculus for the Lesniewskian Modal Logic.Mitio Takano - 1994 - Annals of the Japan Association for Philosophy of Science 8 (4):191-201.
  39. OCk, athryn, 163 Byrne, Ruth MJ, 61 Cosmides, Leda, 187 Garnham, Alan, 45, 117.P. N. Johnson-Laird, Jane Oakhill, Josef Perner, Massimo Piattelli-Palmarini, Lance J. Rips, Jennifer A. Sanderson, Michael Siegal & Yohtaro Takano - 1989 - Cognition 31:295.
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Axiomatization of a Basic Logic of Logical Bilattices.Mitio Takano - 2017 - Bulletin of the Section of Logic 45 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Extraction of Causal and Performance Result Information Belong to Business Segments From Securities Reports有価証券報告書からの事業セグメント付与された業績要因文・業績結果文の抽出.Kaito Takano, Hiroyuki Sakai & Ryozo Kitajima - 2019 - Transactions of the Japanese Society for Artificial Intelligence 34 (5):wd-A_1-22.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Reasoning Rats: Forward Blocking in Pavlovian Animal Conditioning Is Sensitive to Constraints of Causal Inference.Tom Beckers, Ralph R. Miller, Jan De Houwer & Kouji Urushihara - 2006 - Journal of Experimental Psychology: General 135 (1):92-102.
  43.  14
    Families of Roles: A New Theory of Occurrent-Dependent Roles.Riichiro Mizoguchi, Antony Galton, Yoshinobu Kitamura & Kouji Kozaki - 2015 - Applied Ontology 10 (3-4):367-399.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  74
    Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  20
    The Model of Roles Within an Ontology Development Tool: Hozo.Riichiro Mizoguchi, Eiichi Sunagawa, Kouji Kozaki & Yoshinobu Kitamura - 2007 - Applied Ontology 2 (2):159-179.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  14
    Development of an Environment for Building Ontologies Based on a Fundamental Consideration of “Role” and “Relationship”.Kouji Kozaki, Yoshinobu Kitamura, Mitsuru Ikeda & Riichiro Mizoguchi - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17 (3):196-208.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  13
    Evelopment and Use of an Environment for Building/Using Ontologies “Hozo”.Kouji Kozaki, Yoshinobu Kitamura, Toshinobu Sano, Shin'ichiro Motomatsu, Seiichi Ishikawa & Riichiro Mizoguchi - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17 (4):407-419.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  9
    A Framework for Organizing Role Concepts Based on Their Dependencies on Contexts.Eiichi Sunagawa, Kouji Kozaki, Yoshinobu Kitamura & Riichiro Mizoguchi - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20 (6):461-472.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  33
    Interpolation in 16-Valued Trilattice Logics.Reinhard Muskens & Stefan Wintein - 2018 - Studia Logica 106 (2):345-370.
    In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Descriptions of Part-of Relationships for Ontology Building and Its Deployment – A Representation Model for Part Structures Based-on Role Theoryオントロジー構築におけるPart-of 記述とその実践-ロール理論に基づく部分構造表現モデル.Kouji Kozaki & Riiciro Mizoguchi - 2019 - Transactions of the Japanese Society for Artificial Intelligence 34 (1):C-I52_1-13.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 68