Results for 'Keigo Seki'

69 found
Order:
  1.  24
    Folktales of Japan.D. E. Mills, Keigo Seki & Robert J. Adams - 1964 - Journal of the American Oriental Society 84 (4):448.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  46
    Changes in Electroencephalography and Cardiac Autonomic Function During Craft Activities: Experimental Evidence for the Effectiveness of Occupational Therapy.Keigo Shiraiwa, Sumie Yamada, Yurika Nishida & Motomi Toichi - 2020 - Frontiers in Human Neuroscience 14.
    Occupational therapy often uses craft activities as therapeutic tools, but their therapeutic effectiveness has not yet been adequately demonstrated. The aim of this study was to examine changes in frontal midline theta rhythm and autonomic nervous responses during craft activities, and to explore the physiological mechanisms underlying the therapeutic effectiveness of occupational therapy. To achieve this, we employed a simple craft activity as a task to induce Fmθ and performed simultaneous EEG and ECG recordings. For participants in which Fmθ activities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Wakabayashi Kyōsai no kenkyū.Keigo Kondō - 1979 - Kyōto-shi: Shintō Shigakkai.
     
    Export citation  
     
    Bookmark  
  4. Yamazaki Ansai no kenkyū.Keigo Kondō - 1986 - Kyōto-shi: Shintōshi Gakkai.
     
    Export citation  
     
    Bookmark  
  5. Kinsei Juka shiryō.Giichirō Seki (ed.) - 1942 - Tōkyō: Ida Shoten.
     
    Export citation  
     
    Bookmark  
  6. Sundai zatsuwa chūshaku.Giichirō Seki - 1904 - Edited by Toshiaki[From Old Catalog] Kii & Kyūsō Muro.
     
    Export citation  
     
    Bookmark  
  7. Dōtoku-shinrigaku no rinen.Kazuo Seki - 1969
     
    Export citation  
     
    Bookmark  
  8. Nihon jurin sōsho.Giichirō Seki (ed.) - 1927 - Tōkyō: Tōyō Tosho Kankōkai.
    dai 1-kan-dai 2-satsu. Zuihitsu bu -- dai 3-satsu. Shiden, shokan bu -- dai 4-satsu. Ronben bu -- dai 5-6-satsu. Kaisetsu bu.
     
    Export citation  
     
    Bookmark  
  9. Shi to wa nani ka.Sadao Seki - 1974
     
    Export citation  
     
    Bookmark  
  10. Zoku Nihon jurin sōsho.Giichirō Seki (ed.) - 1930 - Tōkyō: Tōyō Tosho Kankōkai.
    dai 1-satsu. Zuihitsu bu, dai I -- dai 2-satsu. Zuihitsu bu, dai II, oyobi Shibun bu -- dai 3-satsu. Kaisetsu bu, oyobi Zatsu bu -- dai 4-satsu. Kaisetsu bu, dai II, Zuihitsu bu, dai III.
     
    Export citation  
     
    Bookmark  
  11.  58
    General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
    General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  12. Asami Keisai no kenkyū.Keigo Kondō - 1970 - [Kyoto]: Shintō Shigakkai.
     
    Export citation  
     
    Bookmark  
  13. Ono Kakuzan no kenkyū.Keigo Kondō - 2002 - Kyōto-shi: Hatsubai Rinsen Shoten.
     
    Export citation  
     
    Bookmark  
  14.  3
    Zoku Wakabayashi Kyōsai no kenkyū.Keigo Kondō - 1997 - Kyōto-shi: Rinsen Shoten. Edited by Keigo Kondō.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  5
    Sūgaku to bunka.Setsuya Seki - 1988 - Tōkyō: Chikuma Shobō.
  16.  20
    The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
    The admissibility of Ackermann's rule? is one of the most important problems in relevant logic. While the?-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the?-admissibility. This paper discusses which relevant modal logics admit? from the viewpoint of the method of normal models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  45
    A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
    Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  18.  16
    A Sahlqvist Theorem for Relevant Modal Logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
    Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  29
    The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations.Takahiro Seki - 2011 - Studia Logica 97 (3):351-383.
    The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  41
    Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
    A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  41
    Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
    Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  23
    The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
    The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  29
    An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1149-1174.
    The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  9
    Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Shôji Maehara, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Inoue Hakushi to Kirisuto kyōto.Kōsaku Seki (ed.) - 1893 - Tōkyō: Misuzu Shobō.
     
    Export citation  
     
    Bookmark  
  26.  16
    L’humanisme et la question du langage.Hiroaki Seki - 2020 - Sartre Studies International 26 (2):22-39.
    Résumé : Cet article examine un dialogue important mais peu étudié entre Sartre et le philosophe du langage Brice Parain. Les deux écrivains constatent un mal du langage, issu de la Grande Guerre de 1914-18 et de ses traumatismes que les mots proférés par les survivants sont incapables de prendre en charge. Dans ce monde « inhumain », où trouver un remède? Pour Parain et Sartre le retour à n’importe quel humanisme implique une réflexion sur le langage. A travers sa (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  28
    Locking of the ring finger at proximal interphalangeal joint due to a sesamoid bone: a case report.Yasuhiro Seki, Yuko Hoshino & Hiroshi Kuroda - 2012 - In Zdravko Radman (ed.), The Hand. MIT Press. pp. 7--1.
  28.  47
    Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
    Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer’s metavaluational technique and Slaney’s metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    On the behavior of tile assembly system at high temperatures.Shinnosuke Seki & Yasushi Okuno - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 549--559.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  34
    Sartre et la figure de Cassandre.Hiroaki Seki - 2017 - Sartre Studies International 23 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  32
    Some remarks on Maehara's method.Takahiro Seki - 2001 - Bulletin of the Section of Logic 30 (3):147-154.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  5
    哲学ものがたり.Yukio Seki - 1991 - Tōkyō: Shin Nihon Shuppansha.
  33.  13
    Exploring Hemodynamic Responses Using Mirror Visual Feedback With Electromyogram-Triggered Stimulation and Functional Near-Infrared Spectroscopy.Yuji Inagaki, Kazunori Seki, Hitoshi Makino, Yuichirou Matsuo, Tamaki Miyamoto & Katsunori Ikoma - 2019 - Frontiers in Human Neuroscience 13.
  34.  43
    Democracy and Quality of Life in Asian Societies.Shinya Sasaoka & Katsunori Seki - 2011 - Japanese Journal of Political Science 12 (3):343-357.
    This article examines whether democracy affects quality of life. Scholars have conducted surveys to investigate whether democracy is likely to lead to good quality of life. There are two contested views to the relationship: some suggest that democracy has a positive causal effect on quality of life, whereas others contend that democracy does not play such a role. Previous findings are supported by cross-national statistical analysis with aggregated survey data. However, aggregated survey data may cause ecological fallacy. Also, in order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35.  24
    Charge-carrier dynamics in polythiophene films studied by in-situ measurement of flash-photolysis time-resolved microwave conductivity and transient optical spectroscopy.A. Saeki, S. Seki, T. Sunagawa, K. Ushida & S. Tagawa - 2006 - Philosophical Magazine 86 (9):1261-1276.
  36.  26
    Foundations of Mathematics.Gaisi Takeuti & Setsuya Seki - 1959 - Journal of Symbolic Logic 24 (1):73.
  37.  21
    Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
  38.  3
    Sōseki no bungaku riron =.Shūzō Ogura - 2019 - Tōkyō-to Shibuya-ku: Kanrin Shobō.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  19
    Seki Setsuya. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 , pp. 43–45.Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
  40.  28
    Setsuya Seki. Tyógen ronpó ni tuite . Sûgaku, vol. 7 no. 1 , p. 31.Mariko Yasugi - 1969 - Journal of Symbolic Logic 33 (4):632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  47
    Keigo in Modern Japan: Polite Language from Meiji to the Present (review). [REVIEW]Ann Wehmeyer - 2006 - Philosophy East and West 56 (1):191-194.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Keigo in Modern Japan: Polite Language from Meiji to the PresentAnn WehmeyerKeigo in Modern Japan: Polite Language from Meiji to the Present. By Patricia J. Wetzel. Honolulu: University of Hawai'i Press, 2004. Pp. 206.In Keigo in Modern Japan: Polite Language from Meiji to the Present, Patricia Wetzel delves deeply into social and analytical aspects of honorific and polite language from historical and contemporary perspectives. It is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42. Sôseki entre le kitsch et l'ironie, ou, L'esthétisme cathartique dans L'oreiller d'herbe.Alain Rocher - 1996 - In Eva Le Grand (ed.), Séductions du kitsch: roman, art et culture. Montréal: XYZ.
     
    Export citation  
     
    Bookmark  
  43.  14
    Seki-ryû sanpô shichibu sho . Seki, Takakazu.Shio Sakanishi - 1937 - Isis 27 (3):507-508.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Sōseki no "Neko" to Nīche: kitai no tetsugakusha ni shinkanshita kindai Nihon no chiseitachi.Hiroko Sugita - 2010 - Tōkyō: Hakusuisha.
     
    Export citation  
     
    Bookmark  
  45.  16
    Seki Setsuya. Kisoron . Oyama-Syoten, Tiyoda-Huzimityô, Tokyo 1955, 71 pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  46.  13
    Seki Setsuya. Symposium hôkokusyû . Kisoron Bunkakai Nihon Sûgakukai, Tokyo 1959, 47 pp. [REVIEW]Gaisi Takeuti - 1960 - Journal of Symbolic Logic 25 (2):160-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  23
    Seki Setsuya. Syûgôron nyûmon . Baifukan, Kanda-Nisikityô, Tokyo 1957, 172 pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  48.  14
    Review: Setsuya Seki, On Transfinite Inferences. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
  49.  4
    Review: Hiromiti Takeda, Keigo Abe, Introduction to Logic. Logic and Logistic. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (2):148-148.
  50.  28
    Takeda Hiromiti and Abe Keigo. Ronrigaku nyûmon. Ronrigaku to ronrizan. Minerva, Kyoto 1949, iv + 172 pp. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (2):148-148.
1 — 50 / 69