Results for 'Seki Yuki'

138 found
Order:
  1.  12
    Construction of a Virtual Ballroom Dance Instructor.Huang Hung-Hsuan, Uejo Masaki, Seki Yuki, Lee Joo-ho & Kawagoe Kyoji - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (2):187-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  34
    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 (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  22
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  27
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    The Γ-Admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
  6.  19
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  37
    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 (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  27
    Sartre et la figure de Cassandre.Hiroaki Seki - 2017 - Sartre Studies International 23 (2).
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  6
    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.
  10.  24
    Object Ranking in Evolutional Networks Via Link Prediction.Taiki Miyanishi, Kazuhiro Seki & Kuniaki Uehara - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (3):223-234.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  18
    Foundations of Mathematics.Gaisi Takeuti & Setsuya Seki - 1959 - Journal of Symbolic Logic 24 (1):73.
  12.  22
    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  
  13.  27
    Some Remarks on Maehara's Method.Takahiro Seki - 2001 - Bulletin of the Section of Logic 30 (3):147-154.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  34
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Development of Discussion Supporting System Based on the "Value of Favorable Words' Influence".Tetsuro Kotani, Kazuya Seki, Tatsunori Matsui & Toshio Okamoto - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:95-104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    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.
  17.  13
    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  
  18.  17
    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.
  19.  12
    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.
  20.  10
    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.
  21.  12
    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  
  22.  8
    Parallel Distributed Trajectory Pattern Mining Based on Quadtree Search with Hierarchical Grid.Ryota Jinno, Kouji Kumanami, Satoshi Fukui, Kazuhiro Seki & Kuniaki Uehara - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (5):308-319.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    Learning Non-Linear Classifiers with a Sparsity Constraint Using L1 Regularization.ブロンデル マチュ-, Kazuhiro Seki & Kuniaki Uehara - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (6):401-410.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. 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. VOCALOID Creator Search Using Music Genre and Impression.Yuu Sueyoshi & Yohei Seki - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (1):WII-K_1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  16
    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   4 citations  
  27.  16
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  15
    Shôji Maehara, Toshio Nishimura, Und Setsuya Seki. Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
  29.  9
    Entering the Stream to Enlightenment: Experiences of the Stages of the Buddhist Path in Contemporary Sri Lanka, by Yuki Sirimane. Equinox Publishing Ltd., 2016. 366pp. Hb. £75.00; Pb. £24.99. ISBN-13: 978-1-7817-9203-2 ; 978-1-7817-9204-9, Pb. [REVIEW]Pyi Phyo Kyaw - 2018 - Buddhist Studies Review 34 (2):272-275.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    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.
  31.  12
    Seki Setsuya. Kisoron . Oyama-Syoten, Tiyoda-Huzimityô, Tokyo 1955, 71 Pp. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  32.  14
    Review: Setsuya Seki, On Transfinite Arguments. [REVIEW]Mariko Yasugi - 1968 - Journal of Symbolic Logic 33 (4):632-632.
  33.  11
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  11
    Les mathematiques japonaises a l'epoque d'Edo: Une etude des travaux de Seki Takakazu et de Takebe Katahiro . Annick Horiuchi.Karine Chemla - 1996 - Isis 87 (3):548-549.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  16
    Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    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.
  37.  7
    Seki-Ryû Sanpô Shichibu Sho . Seki, Takakazu.Shio Sakanishi - 1937 - Isis 27 (3):507-508.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  8
    Review: Setsuya Seki, On Transfinite Inferences. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
  39.  8
    Review: Yuki Wooyenaka, Remark on a Set of Postulates for Distributive Lattices. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (1):67-68.
  40.  10
    Beyond the Mushroom Cloud: Commemoration, Religion, and Responsibility After Hiroshima by Yuki Miyamoto. [REVIEW]Christopher Ives - 2013 - Philosophy East and West 63 (4):689-691.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  6
    Wooyenaka Yuki. Remark on a Set of Postulates for Distributive Lattices. Proceedings of the Japan Academy, Vol. 27 , Pp. 162–165. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (1):67-68.
  42.  5
    Beyond the Mushroom Cloud: Commemoration, Religion, and Responsibility After Hiroshima by Yuki Miyamoto (Review).Christopher Ives - 2013 - Philosophy East and West 63 (4):689-691.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Review: Setsuya Seki, Introduction to Set Theory. [REVIEW]Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):73-73.
  44. Review: Setsuya Seki, Report of a Symposium. [REVIEW]Gaisi Takeuti - 1960 - Journal of Symbolic Logic 25 (2):160-161.
  45.  31
    Incremental Interpretation at Verbs: Restricting the Domain of Subsequent Reference.Gerry T. M. Altmann & Yuki Kamide - 1999 - Cognition 73 (3):247-264.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   131 citations  
  46.  16
    Discourse-Mediation of the Mapping Between Language and the Visual World: Eye Movements and Mental Representation.Gerry T. M. Altmann & Yuki Kamide - 2009 - Cognition 111 (1):55-71.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  47.  16
    Manipulating the Alpha Level Cannot Cure Significance Testing.David Trafimow, Valentin Amrhein, Corson N. Areshenkoff, Carlos J. Barrera-Causil, Eric J. Beh, Yusuf K. Bilgiç, Roser Bono, Michael T. Bradley, William M. Briggs, Héctor A. Cepeda-Freyre, Sergio E. Chaigneau, Daniel R. Ciocca, Juan C. Correa, Denis Cousineau, Michiel R. de Boer, Subhra S. Dhar, Igor Dolgov, Juana Gómez-Benito, Marian Grendar, James W. Grice, Martin E. Guerrero-Gimenez, Andrés Gutiérrez, Tania B. Huedo-Medina, Klaus Jaffe, Armina Janyan, Ali Karimnezhad, Fränzi Korner-Nievergelt, Koji Kosugi, Martin Lachmair, Rubén D. Ledesma, Roberto Limongi, Marco T. Liuzza, Rosaria Lombardo, Michael J. Marks, Gunther Meinlschmidt, Ladislas Nalborczyk, Hung T. Nguyen, Raydonal Ospina, Jose D. Perezgonzalez, Roland Pfister, Juan J. Rahona, David A. Rodríguez-Medina, Xavier Romão, Susana Ruiz-Fernández, Isabel Suarez, Marion Tegethoff, Mauricio Tejo, Rens van de Schoot, Ivan I. Vankov, Santiago Velasco-Forero, Tonghui Wang, Yuki Yamada, Felipe C. M. Zoppino & Fernando Marmolejo-Ramos - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  8
    Discourse-Mediation of the Mapping Between Language and the Visual World: Eye Movements and Mental Representation.Yuki Kamide Gerry T. M. Altmann - 2009 - Cognition 111 (1):55.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  49.  4
    Learning Individual Talkers' Structural Preferences.Yuki Kamide - 2012 - Cognition 124 (1):66-71.
  50.  8
    The Effects of Family Socioeconomic Status on Psychological and Neural Mechanisms as Well as Their Sex Differences.Hikaru Takeuchi, Yasuyuki Taki, Rui Nouchi, Ryoishi Yokoyama, Yuka Kotozaki, Seishu Nakagawa, Atsushi Sekiguchi, Kunio Iizuka, Yuki Yamamoto, Sugiko Hanawa, Tsuyoshi Araki, Carlos Makoto Miyauchi, Kohei Sakaki, Takayuki Nozawa, Shigeyuki Ikeda, Susumu Yokota, Daniele Magistro, Yuko Sassa & Ryuta Kawashima - 2019 - Frontiers in Human Neuroscience 12.
1 — 50 / 138