Results for 'Chiaki Ono'

315 found
Order:
  1.  34
    The Associations Among the Dopamine D2 Receptor Taq1, Emotional Intelligence, Creative Potential Measured by Divergent Thinking, and Motivational State and These Associations' Sex Differences. [REVIEW]Hikaru Takeuchi, Hiroaki Tomita, Yasuyuki Taki, Yoshie Kikuchi, Chiaki Ono, Zhiqian Yu, Atsushi Sekiguchi, Rui Nouchi, Yuka Kotozaki, Seishu Nakagawa, Carlos M. Miyauchi, Kunio Iizuka, Ryoichi Yokoyama, Takamitsu Shinada, Yuki Yamamoto, Sugiko Hanawa, Tsuyoshi Araki, Hiroshi Hashizume, Keiko Kunitoki, Yuko Sassa & Ryuta Kawashima - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  44
    A Survey Study of Japanese Managers' Views of Business Ethics.Chiaki Nakano - 1997 - Journal of Business Ethics 16 (16):1737-1751.
    In the United States, a series of survey studies have been done to examine corporate managers' views of business ethics and various business practices (Baumhart, 1961; Brenner and Molander, 1977; Vitell and Festervand, 1987). This paper is a replication study conducted in Japan of those American studies. The results of the study suggest that Japanese managers tend to be more situational in their ethical orientation than Americans. The results also show that the company policy on ethics is the most important (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  3.  53
    Attempting to Institutionalize Ethics: Case Studies From Japan. [REVIEW]Chiaki Nakano - 1999 - Journal of Business Ethics 18 (4):335 - 343.
    A series of survey studies on corporations' institutionalization of ethics has been done in the U.S. and Japan. Among them, one Japanese study suggests that company policy is the most influential factor in managers' ethical decision-making and behavior. This empirical evidence suggests that, in Japan, company efforts to institutionalize ethics are effective in improving business behavior. The author examines this by describing three case studies of Japanese managers' ethical decision-making.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  20
    Abduction in Argumentation Frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.
    ABSTRACTThis paper studies abduction in abstract argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justified in the argumentation framework, the agent seeks conditions to explain the justification state by hypothesising arguments in the universal argumentation framework. We formulate such abductive reasoning in argumentation semantics and provide its computation in logic programming. We also apply abduction to enforcement and simple dialogue games in argumentation frameworks.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  18
    Abduction, Conversational Implicature and Misleading in Human Dialogues.Chiaki Sakama & Katsumi Inoue - 2016 - Logic Journal of the IGPL 24 (4).
  6.  3
    Prioritized Logic Programming and its Application to Commonsense Reasoning.Chiaki Sakama & Katsumi Inoue - 2000 - Artificial Intelligence 123 (1-2):185-222.
  7.  39
    Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  8. Motoori Norinaga No Kenkyū.Chiaki Okada - 2006 - Yoshikawa Kōbunkan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  23
    Cut Elimination and Strong Separation for Substructural Logics: An Algebraic Approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.
    We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  19
    Probabilistic Conversion of Functional Expressions for Characterization of Dialogue System Utterances.Chiaki Miyazaki, Toru Hirano, Ryuichiro Higashinaka, Toshiro Makino, Yoshihiro Matsuo & Satoshi Sato - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (1):DSF-E_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    Equivalence Issues in Abduction and Induction.Chiaki Sakama & Katsumi Inoue - 2009 - Journal of Applied Logic 7 (3):318-328.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  50
    Business Ethics as Field of Training, Teaching, and Research in East Asia.Zucheng Zhou, Chiaki Nakano & Ben Nanfeng Luo - 2011 - Journal of Business Ethics 104 (S1):19-27.
    While Economic and Business Ethics has already attracted increasing attention in East Asia, a comprehensive survey of Economic and Business Ethics has never been done in this region. This study investigates the current status of Economic and Business Ethics as field of teaching, training and research in the East Asia region, particularly in China, Japan, and Korea. Based on multiple approaches that include questionnaire surveys, desktop analysis, and personal observation, this article reports on the current state of training, teaching, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  67
    Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
    Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  14.  42
    Algebraic Aspects of Cut Elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  15.  43
    Glivenko Theorems and Negative Translations in Substructural Predicate Logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
    Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL e . It is shown that there exists the weakest logic over QFL e among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  16
    Extending Intuitionistic Linear Logic with Knotted Structural Rules.R. Hori, H. Ono & H. Schellinx - 1994 - Notre Dame Journal of Formal Logic 35 (2):219-242.
  17.  23
    Glivenko Theorems Revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
    Glivenko-type theorems for substructural logics are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Ŏnŏ Ch'ŏrhak.Kyu-ho Yi - 2005 - Yŏnse Taehakkyo Ch'ulp'anbu.
    Mal ŭi him -- Kŏjinmal ch'ammal kŭrigo ch'immuk.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  3
    Neuroethics, a Historical Perspective.Chiaki Kagawa - 2008 - Journal of the Japan Association for Philosophy of Science 35 (2):87-92.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  66
    Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
    The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  31
    The Phenomenological Context and Transcendentalism of John Henry Newman and Edmund Husserl.Ono Ekeh - 2008 - Newman Studies Journal 5 (1):35-50.
    John Henry Newman has rightly been hailed as a giant in the Catholic intellectual tradition. His contributions to theology, literature, and education have been studied at length; however, his contribution to philosophy has not received appropriate attention. This essay 1) explores Newman’s unique philosophical insights in terms of the phenomenological tradition of Edmund Husserl; 2) analyzes the transcendental approach of certain British scientists—notably Ronald Knox and Charles Darwin; and 3) discusses how Newman might be considered a phenomenologist.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  26
    Newman's Cogito: John Henry Newman's Phenomenological Meditations on First Philosophy.Ono Paul Ekeh - 2011 - Heythrop Journal 52 (1):90-103.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Ŏnŏ Ŭi Yŏn'gi Wa Maŭm Ŭi Sahoesŏng: Ŏnŏ Kiho, Maŭm, Segye E Kwanhan Tongsŏ Ch'ŏrhak Ŭi Yunghap.Kyŏng-hŭi Nam - 2012 - Ihwa Yŏja Taehakkyo Ch'ulp'anbu.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  32
    Logics Without the Contraction Rule and Residuated Lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
    In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  9
    Ono Katuzi. On Some Properties of Binary Relations. Nagoya Mathematical Journal, Vol. 12 , Pp. 161–170.K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):253-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  5
    Development of Ssvep-Bmi for Controlling Lego Mindstorms Car.Ono Yumie - 2015 - Frontiers in Human Neuroscience 9.
  27.  9
    Ono Katudi. Logische Untersuchungen Über Die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, Section I, Vol. 3 Part 7 , Pp. 329–389. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):89-90.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  4
    John Henry Newman on Mystery as a Hermeneutical Problem.Ono Ekeh - 2015 - New Blackfriars 96 (1061):74-89.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  5
    A Principle-Based Robustness Analysis of Admissibility-Based Argumentation Semantics.Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre & Beishui Liao - 2020 - Argument and Computation 11 (3):305-339.
    The principle-based approach is a methodology to classify and analyse argumentation semantics. In this paper we classify seven of the main alternatives for argumentation semantics using a set of new robustness principles. These principles complement Baroni and Giacomin’s original classification and deal with the behaviour of a semantics when the argumentation framework changes due to the addition or removal of an attack between two arguments. We distinguish so-called persistence principles and monotonicity principles, where the former deal with the question of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  4
    Ono Katuzi. A Set Theory Founded on Unique Generating Principle. Nagoya Mathematical Journal, Vol. 12 , Pp. 151–159.Abraham A. Fraenkel - 1959 - Journal of Symbolic Logic 24 (3):227-227.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  31
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  32.  30
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):317-333.
  33. Ono Azusa to Jiyū Minken.Masaharu Katsuta - 2010 - Yūshisha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Ŏnŏ Ŭi Simch'ŭng Kwa Ŏnŏ Kyoyuk: Deep Inside Language: Applications for Language Teaching.Chi-Hong Kim - 2010 - Kyŏngjin.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  44
    Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
    In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  40
    Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  37.  4
    Ken Ono; Amir D. Aczel. My Search for Ramanujan: How I Learned to Count. Xvi + 238 Pp., Figs., Illus. Cham, Switzerland: Springer, 2016. $29.99. [REVIEW]Christopher Hollings - 2017 - Isis 108 (3):744-745.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  24
    Efference and the Conscious Experience of Perception.Leon Festinger, Hirosho Ono & Clarke A. Burnham - 1967 - Journal of Experimental Psychology 74 (4, Pt.2):1-36.
  39. Meta Baioeshikkusu No Kōchiku E: Seimei Rinri o Toinaosu.Yoshihiko Komatsu & Chiaki Kagawa (eds.) - 2010 - Ntt Shuppan.
    生命が今こそ、語り直されなくてはならない!文明論、歴史、メタ科学、経済批判、生権力の視点から。.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  20
    On Finite Linear Intermediate Predicate Logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
    An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41.  27
    Social Conformity and Response Bias Revisited: The Influence of "Others" on Japanese Respondents.Chisuzu Kondo, Chiaki Saito, Ayaka Deguchi, Miki Hirayama & Adam Acar - 2010 - Human Affairs 20 (4):356-363.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  10
    The Relationship Between Head Motion Synchronization and Empathy in Unidirectional Face-to-Face Communication.Takahiro Yokozuka, Eisuke Ono, Yuki Inoue, Ken-Ichiro Ogawa & Yoshihiro Miyake - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  42
    On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
    LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  34
    Analytic Cut and Interpolation for Bi-Intuitionistic Logic.Tomasz Kowalski & Hiroakira Ono - 2017 - Review of Symbolic Logic 10 (2):259-283.
    We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  20
    Katuzi Ono. On Universal Character of the Primitive Logic. Nagoya Mathematical Journal, Vol. 27 , Pp. 331–353.Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):503-504.
  46.  18
    Katuzi Ono. A Certain Kind of Formal Theories. Nagoya Mathematical Journal, Vol. 25 , Pp. 59–86.Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):503.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427-440.
    In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  6
    Ono Katuzi. On a Practical Way of Describing Formal Deductions. Nagoya Mathematical Journal, Vol. 21 , Pp. 115–121.Ono Katuzi. New Formulation of the Axiom of Choice by Making Use of the Comprehension Operator. Nagoya Mathematical Journal, Vol. 23 , Pp. 53–71. [REVIEW]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  49.  19
    Preface.Nikolaos Galatos, Peter Jipsen & Hiroakira Ono - 2012 - Studia Logica 100 (6):1059-1062.
  50.  21
    The Effect of Perceived Motion-in-Depth on Time Perception.Fuminori Ono & Shigeru Kitazawa - 2010 - Cognition 115 (1):140-146.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 315