Results for 'Yoshie Kikuchi'

69 found
Order:
  1.  15
    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.  26
    Book Reviews: Commentary on a Book Review: Kikuchi J, Simmons H Eds 1994: Developing a Philosophy of Nursing. Thousand Oaks, CA: Sage. 13.95 . ISBN 0 8039 5423 9. [REVIEW]J. F. Kikuchi & H. Simmons - 1996 - Nursing Ethics 3 (3):278-279.
  3.  9
    Vowels in Infant-Directed Speech: More Breathy and More Variable, but Not Clearer.Kouki Miyazawa, Takahito Shinya, Andrew Martin, Hideaki Kikuchi & Reiko Mazuka - 2017 - Cognition 166:84-93.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  6
    Emotional Valence, Sense of Agency and Responsibility: A Study Using Intentional Binding.J. F. Christensen, M. Yoshie, S. Di Costa & P. Haggard - 2016 - Consciousness and Cognition 43:1-10.
  5.  9
    Generalizations of Gödel’s Incompleteness Theorems for ∑N-Definable Theories of Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  44
    On Proofs of the Incompleteness Theorems Based on Berry's Paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  11
    Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  43
    A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
    We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  12
    On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
    Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  12
    Emotional Discrimination During Viewing Unpleasant Pictures: Timing in Human Anterior Ventrolateral Prefrontal Cortex and Amygdala.Satoru Kohno, Madoka Noriuchi, Yoshinobu Iguchi, Yoshiaki Kikuchi & Yoko Hoshi - 2015 - Frontiers in Human Neuroscience 9.
  11.  6
    Three Short Stories Around Gödel's Incompleteness Theorems.Makoto Kikuchi & Taishi Kurahashi - 2011 - Journal of the Japan Association for Philosophy of Science 38 (2):75-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  40
    Towards a Philosophic Theory of Nursing.June F. Kikuchi - 2004 - Nursing Philosophy 5 (1):79-83.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  28
    Kolmogorov Complexity and the Second Incompleteness Theorem.Makoto Kikuchi - 1997 - Archive for Mathematical Logic 36 (6):437-443.
  14.  11
    Somatosensory Evoked Field in Response to Visuotactile Stimulation in 3- to 4-Year-Old Children.Gerard B. Remijn, Mitsuru Kikuchi, Kiyomi Shitamichi, Sanae Ueno, Yuko Yoshimura, Kikuko Nagao, Tsunehisa Tsubokawa, Haruyuki Kojima, Haruhiro Higashida & Yoshio Minabe - 2014 - Frontiers in Human Neuroscience 8.
  15.  14
    Neutron Irradiation Effects in Fe–Cu–Ni–Mn Model Alloys Studied by Measurements of Magnetic Minor Hysteresis Loops.S. Kobayashi, H. Kikuchi, S. Takahashi, K. Chiba, Y. Kamada & K. Ara - 2007 - Philosophical Magazine 87 (26):4047-4058.
  16.  4
    Call-by-Name Reduction and Cut-Elimination in Classical Logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
    We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  21
    Neutron Irradiation Effects on Magnetic Minor Hysteresis Loops in Nuclear Reactor Pressure Vessel Steels.S. Kobayashi, H. Kikuchi, S. Takahashi, Y. Kamada, K. Ara, T. Yamamoto, D. Klingensmith & G. R. Odette - 2008 - Philosophical Magazine 88 (12):1791-1800.
  18.  5
    Cross-National Odyssey of a Chemist: Edward Divers at London, Galway and Tokyo.Yoshiyuki Kikuchi - 2012 - History of Science 50 (3):289-314.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  4
    Anodal Transcranial Direct Current Stimulation Induces High Gamma-Band Activity in the Left Dorsolateral Prefrontal Cortex During a Working Memory Task: A Double-Blind, Randomized, Crossover Study.Takashi Ikeda, Tetsuya Takahashi, Hirotoshi Hiraishi, Daisuke N. Saito & Mitsuru Kikuchi - 2019 - Frontiers in Human Neuroscience 13.
  20. Developing a Philosophy of Nursing.J. F. Kikuchi & H. Simmons - 1996 - Nursing Ethics 3 (3):278-279.
     
    Export citation  
     
    Bookmark   3 citations  
  21.  9
    Modeling the Momentum Effect in Financial Stock Markets株式市場のモメンタム効果再現モデル.Kazunori Umino, Takamasa Kikuchi, Masaaki Kunigami, Takashi Yamada & Takao Terano - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (4):E-HB3_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  34
    Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    L’Imprimerie En Réseau : La Construction de L’Édition Comme Marché Économique Et Culturel Printers’ Networks: Turning Publishing Into an Economic and Cultural Market Imprentas En Red: La Construcción de la Edición Como Mercado Económico y Cultural.Catherine Kikuchi - 2018 - Temporalités 27.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  28
    Hyperformulas and Classifications.Yuzuru Kakuda, Makoto Kikuchi & Hirofumi Miki - 2000 - Annals of the Japan Association for Philosophy of Science 10 (1):33-52.
  25.  5
    Atomic Force Microscopy Study on Microstructural Changes by 'Training' in Fe-Mn-Si-Based Shape Memory Alloys.D. Z. Liu, S. Kajiwara, T. Kikuchi & N. Shinya - 2003 - Philosophical Magazine 83 (25):2875-2897.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  4
    Negatively Skewed Locomotor Activity Is Related to Autistic Traits and Behavioral Problems in Typically Developing Children and Those With Autism Spectrum Disorders.Kazuo Ogino, Hidetoshi Takahashi, Toru Nakamura, Jinhyuk Kim, Hiroe Kikuchi, Takayuki Nakahachi, Ken Ebishima, Kazuhiro Yoshiuchi, Tetsuya Ando, Tomiki Sumiyoshi, Andrew Stickley, Yoshiharu Yamamoto & Yoko Kamio - 2018 - Frontiers in Human Neuroscience 12.
  27.  7
    L’imprimerie en réseau : la construction de l’édition comme marché économique et culturel.Catherine Kikuchi - 2018 - Temporalités 27.
    On applique ici la méthode de l’analyse de réseau pour comprendre les temporalités de la construction de l’imprimerie, comme activité économique associant des hommes de lettres et des acteurs économiques. À partir des informations contenues dans l’Incunabula Short Title Catalogue, deux types de réseaux sont construits pour les éditions imprimées à Venise entre 1469 et 1500. Le premier permet d’observer le vivier des noms d’auteurs présents dans les éditions. Le second permet d’aller plus loin dans les notions de centralité et (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  22
    The Effect of Temperature on Laws of Minor Hysteresis Loops in Nickel Single Crystals with Compressive Deformation.S. Kobayashi, T. Fujiwara, S. Takahashi, H. Kikuchi, Y. Kamada, K. Ara & T. Shishido - 2009 - Philosophical Magazine 89 (7):651-664.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Abstract Design Theory.Yuzuru Kakuda & Makoto Kikuchi - 2001 - Annals of the Japan Association for Philosophy of Science 10 (3):109-125.
  30.  19
    Study on System Utterance of Suggestion to Promote User's Accepatance in Driving Environment.Kouki Miyazawa, Takuya Kagetani, Raymond Shen, Hideaki Kikuchi, Yoshito Ogawa, Chihiro Hata, Katsumi Ohta, Hideaki Hozumi & Takeshi Mitamura - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:723-732.
  31.  16
    Changes in EEG Complexity with Electroconvulsive Therapy in a Patient with Autism Spectrum Disorders: A Multiscale Entropy Approach.Ryoko Okazaki, Tetsuya Takahashi, Kanji Ueno, Koichi Takahashi, Makoto Ishitobi, Mitsuru Kikuchi, Masato Higashima & Yuji Wada - 2015 - Frontiers in Human Neuroscience 9.
  32.  16
    Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
    We introduce a dual-context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  7
    Set-Theoretic Mereology.Joel David Hamkins & Makoto Kikuchi - 2016 - Logic and Logical Philosophy 25 (3):285-308.
    We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    Relationships Between Basic Propositional Calculus and Substructural Logics.Kentaro Kikuchi - 2001 - Bulletin of the Section of Logic 30 (1):15-20.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  6
    Illusory Models of Peano Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  29
    Captive Bears in Human–Animal Welfare Conflict: A Case Study of Bile Extraction on Asia’s Bear Farms. [REVIEW]Ryunosuke Kikuchi - 2012 - Journal of Agricultural and Environmental Ethics 25 (1):55-77.
    Bear bile has long been used in the Asian traditional pharmacopoeia. Bear farming first started in China ~30 years ago in terms of reducing the number of poached bears and ensuring the supply of bear bile. Approximately 13,000 bears are today captivated on Asia’s bear farms: their teeth are broken and the claws are also pulled out for the sake of human safety; the bears are imprisoned in squeeze cages for years; and a catheter is daily inserted into a bear’s (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    On Mathematical Aspects of Varieties of Cognitive Structures of Class-Inclusion Reasoning.Mizuho Mishima & Makoto Kikuchi - 2009 - Journal of the Japan Association for Philosophy of Science 36 (2):53-57.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    Analysis and Design From a Viewpoint of Information Flow.Makoto Kikuchi - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 119--122.
  39.  15
    Risjord's Philosophy of Nursing Science: Concerns and Questions.June F. Kikuchi - 2014 - Nursing Philosophy 15 (1):46-49.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  26
    A Cut-Free Gentzen Formulation of Basic Propositional Calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
    We introduce a Gentzen style formulation of Basic Propositional Calculus(BPC), the logic that is interpreted in Kripke models similarly tointuitionistic logic except that the accessibility relation of eachmodel is not necessarily reflexive. The formulation is presented as adual-context style system, in which the left hand side of a sequent isdivided into two parts. Giving an interpretation of the sequents inKripke models, we show the soundness and completeness of the system withrespect to the class of Kripke models. The cut-elimination theorem isproved (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  6
    A Mathematical Model of Deductive and Non-Deductive Inferences.Makoto Kikuchi - 2009 - Annals of the Japan Association for Philosophy of Science 17:1-11.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  10
    Preferential Awareness of Protofacial Stimuli in Autism.Hironori Akechi, Timo Stein, Yukiko Kikuchi, Yoshikuni Tojo, Hiroo Osanai & Toshikazu Hasegawa - 2015 - Cognition 143:129-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    Christological Problems in the Understanding of the Sonship in Meister Eckhart.Satoshi Kikuchi - 2008 - Bijdragen 69 (4):365-381.
    Since the beginning of Christianity, the understanding of Christ’s sonship has played an essential role in soteriology. According to the Church Fathers and to the medieval theologians, the human person can become a son of God by the grace of adoption through the sonship of Christ. However, the German Dominican, Meister Eckhart , uses the theological concept 'the Only-begotten Son', which stands for the divine sonship of Christ himself, to describe the human condition and demonstrates the equality between Christ and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
    This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  17
    Polemics, Taste, and Truth in Nursing Discourse.June F. Kikuchi - 2008 - Nursing Philosophy 9 (4):273-276.
  46.  8
    Kolmogorov Complexity and Characteristic Constants of Formal Theories of Arithmetic.Shingo Ibuka, Makoto Kikuchi & Hirotaka Kikyo - 2011 - Mathematical Logic Quarterly 57 (5):470-473.
    We investigate two constants cT and rT, introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that cT does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that equation image. We prove the following are equivalent: equation image for some universal Turing machine, equation image for some universal Turing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    Ojoden, the Hokke Genki, and Mountain Practices of Devotees of the Sutra.Hiroki Kikuchi - 2014 - Japanese Journal of Religious Studies 41 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  11
    The Binary: An Obstacle to Scholarly Nursing Discourse?June F. Kikuchi - 2006 - Nursing Philosophy 7 (2):100-103.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  1
    Intergrowth Microstructures of MnF2subjected to Shock Compression.K. Yubuta, T. Hongo, T. Atou, K. G. Nakamura, K. -I. Kondo & M. Kikuchi - 2009 - Philosophical Magazine 89 (4):323-330.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Kolmogorov Complexity and Characteristic Constants of Formal Theories of Arithmetic.Shingo Ibuka, Masato Kikuchi & Hirotaka Kikyo - 2011 - Mathematical Logic Quarterly 57 (5):470-473.
     
    Export citation  
     
    Bookmark  
1 — 50 / 69