Results for 'Kenjiro Ono'

309 found
Order:
  1.  28
    Hippocampus and Parahippocampus Volume Reduction Associated With Impaired Olfactory Abilities in Subjects Without Evidence of Cognitive Decline.Satomi Kubota, Yuri Masaoka, Haruko Sugiyama, Masaki Yoshida, Akira Yoshikawa, Nobuyoshi Koiwa, Motoyasu Honma, Ryuta Kinno, Keiko Watanabe, Natsuko Iizuka, Masahiro Ida, Kenjiro Ono & Masahiko Izumizaki - 2020 - Frontiers in Human Neuroscience 14.
  2.  35
    Left Posterior Orbitofrontal Cortex Is Associated With Odor-Induced Autobiographical Memory: An fMRI Study.Keiko Watanabe, Yuri Masaoka, Mitsuru Kawamura, Masaki Yoshida, Nobuyoshi Koiwa, Akira Yoshikawa, Satomi Kubota, Masahiro Ida, Kenjiro Ono & Masahiko Izumizaki - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Kokumin dōtoku ron.Kenjirō Fujii - 1927
    No categories
     
    Export citation  
     
    Bookmark  
  4. Mitogaku ronsō.Kenjirō Kikuchi - 1943
     
    Export citation  
     
    Bookmark  
  5. Bokushi.Kenjirō Makino - 1933 - Tōkyō: Waseda Daigaku Shuppanbu. Edited by Di Mo.
     
    Export citation  
     
    Bookmark  
  6. Constant Rate Hypothesis.Kenjiro Matsuda - 2005 - In Keith Brown, Encyclopedia of Language and Linguistics. Elsevier. pp. 54--55.
    No categories
     
    Export citation  
     
    Bookmark  
  7. Hōgaku gairon.Kenjirō Migita - 1972 - Tōkyō: Gakuyō Shobō.
     
    Export citation  
     
    Bookmark  
  8. Nihon seishin tokuhon.Kenjirō Tamura - 1934
     
    Export citation  
     
    Bookmark  
  9.  27
    The Fourth Meaning in Life: With a Discussion of What Viktor E. Frankl Calls Meaning.Kenjiro Uemura - 2018 - Philosophy Study 8 (6).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Dōgaku no keisei.Kenjirō Tsuchida - 2002 - Tōkyō: Sōbunsha.
     
    Export citation  
     
    Bookmark  
  11. Kinsei jugaku kenkyū no hōhō to kadai.Kenjirō Tsuchida (ed.) - 2006 - Tōkyō: Kyūko Shoin.
     
    Export citation  
     
    Bookmark  
  12.  9
    "Nichijō" no kaifuku: Edo jugaku no "jin" no shisō ni manabu.Kenjirō Tsuchida - 2012 - Tōkyō-to Shinjuku-ku: Waseda Daigaku Shuppanbu.
    壊滅した街の瓦礫の中で人びとは、前日までと同じように分けあい、助けあった。非常時にも日常の倫理を喪わない、日本人の心性の源泉を近世の儒学思想に求め、明日への生き方を確かめる。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  5
    Geijutsu no riron to rekishi.Kenjirō Yoshioka (ed.) - 1990 - Kyōto-shi: Shibunkaku Shuppan.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  55
    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   10 citations  
  15.  70
    Newman’s Account of Ambrose St. John’s Death.Ono Ekeh - 2011 - Newman Studies Journal 8 (2):5-18.
    Both Ambrose St. John (1815–1875) and John Henry Newman (1801–1890), who were received into the Roman Catholic Church in 1845, became members of the Birmingham Oratory. Newman’s closest companion for over three decades, St. John’s death was extremely painful for Newman, not only because it was unexpected, but because of his devotion to Newman as well as his dedication to his spiritual duties. Along with presenting Newman’s narrative of the last few weeks of St. John’s life, this essay raises the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    Edo no Shushigaku.Kenjirō Tsuchida - 2014 - Tōkyō: Kabushiki Kaisha Chikuma Shobō.
    中国・南宋の朱熹の思想、朱子学は江戸時代においていかなる機能を果たしたのか―。受容とともに新たな思考が生まれてゆくさまは、従来の体制教学という理解を一面的なものとせずにはいない。とりわけ、朱子学と反朱 子学の応酬は結果としてこの時代の思想表現を豊かなものにし、日本の近代化への足掛かりをも作った。本書では、朱子学の骨格から江戸時代における展開、近代化に及ぼした作用までを論じ、日本近世の知的状況を眺望す る。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  13
    Development of ssvep-bmi for controlling lego mindstorms car.Ono Yumie - 2015 - Frontiers in Human Neuroscience 9.
  18.  69
    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  
  19.  85
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  20.  39
    Newman's cogito: John Henry Newman's phenomenological meditations on first philosophy.Ono Paul Ekeh - 2011 - Heythrop Journal 52 (1):90-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  61
    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.  53
    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 (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  23.  68
    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 QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  53
    Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2010 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  26
    Towards a philosophy of education built on fragile parts: Technological rationality and knowledge of pathos.Fumio Ono - 2024 - Educational Philosophy and Theory 56 (2):182-191.
    The aim of this paper is to examine the relationship between education and technological rationality from the perspective of the philosophy of education, and to show that while education is deeply related to technique, skills, or technology, it can never be reduced to technical knowledge, and that there are things in education that overflow technical knowledge. I will here ask why there is something in education that overflows technical knowledge — I will define it as knowledge of pathos — and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  38
    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.
  27.  97
    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 (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  28.  68
    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   9 citations  
  29.  42
    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   10 citations  
  30. Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK.Takahito Aoto & Hiroakira Ono - 1994 - Bulletin of the Section of Logic 23 (3):104-112.
     
    Export citation  
     
    Bookmark   2 citations  
  31. Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
  32.  33
    Evolution and operant behavior, metaphor or theory?Frances K. McSweeney & Kenjiro Aoyama - 2001 - Behavioral and Brain Sciences 24 (3):545-546.
    The idea that similar selective processes operate in gene-based evolution, immunology, and operant psychology provides an intuitively appealing metaphor. This idea also isolates questions that operant psychologists should ask and makes some empirical predictions. However, the idea currently lacks the detail needed to precisely separate it from some plausible alternatives. This sort of thinking is the kind that operant psychologists should do if operant theorizing is to survive the competition among ideas.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  43
    Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Shakai rinri.Suejirō Ono - 1973
     
    Export citation  
     
    Bookmark  
  35. The indeterminacy and fluidity of reference in everyday conversation.Tsuyoshi Ono & Sandra A. Thompson - 2024 - In Michael C. Ewing & Ritva Laury, (Non)referentiality in conversation. Philadelphia: John Benjamins.
     
    Export citation  
     
    Bookmark  
  36.  72
    Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
    It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  37.  89
    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   12 citations  
  38. On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
    Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [7], Bull [1], [2], [3], Prawitz [6] etc. Here we treat modal logics based on the intuitionistic propositional logic, which call intuitionistic modal logics.
     
    Export citation  
     
    Bookmark   24 citations  
  39.  45
    A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.
  40. Itoh Makoto. Sequential switch kairo no kihon hôteisiki . Kyûsyû Daigaku kôgaku syûhô , vol. 30 no. 3 , pp. 225–228.Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  41.  66
    On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
    The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed between positive and non-positive rank algebras. As a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  37
    Adaptation to sensory-motor conflict produced by the visual direction of the hand specified from the cyclopean eye.Horoshi Ono & Robert G. Angus - 1974 - Journal of Experimental Psychology 103 (1):1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  73
    Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
    A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Hōritsu shisōshi gaisetsu.Seiichirō Ono - 1961 - Tōkyō: Ichiryūsha.
     
    Export citation  
     
    Bookmark  
  45. Jikū to renzoku.Katsuji Ono - 1974
     
    Export citation  
     
    Bookmark  
  46.  41
    Keeping an eye on the conductor: neural correlates of visuo-motor synchronization and musical experience.Kentaro Ono, Akinori Nakamura & Burkhard Maess - 2015 - Frontiers in Human Neuroscience 9.
  47.  17
    Modulatory Effects of Prediction Accuracy on Electroencephalographic Brain Activity During Prediction.Kentaro Ono, Junya Hashimoto, Ryosuke Hiramoto, Takafumi Sasaoka & Shigeto Yamawaki - 2021 - Frontiers in Human Neuroscience 15.
    Prediction is essential for the efficiency of many cognitive processes; however, this process is not always perfect. Predictive coding theory suggests that the brain generates and updates a prediction to respond to an upcoming event. Although an electrophysiological index of prediction, the stimulus preceding negativity, has been reported, it remains unknown whether the SPN reflects the prediction accuracy, or whether it is associated with the prediction error, which corresponds to a mismatch between a prediction and an actual input. Thus, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Nichijōsei no rinri.Suejirō Ono - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  49.  31
    The role of childhood and adulthood trauma and appraisal of self-discrepancy in overgeneral memory retrieval.Miyuki Ono & Grant J. Devilly - 2013 - Cognition and Emotion 27 (6):979-994.
  50.  19
    Completion of Algebras and Completeness of Modal and Substructural Logics.Hiroakira Ono - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 335-353.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 309