Results for 'Komori Tetsuo'

61 found
Order:
  1.  11
    A Region-Based Two-Step P300-BMI in Patients with Spinocerebellar Ataxia.Takano Kouji, Ikegami Shiro, Kawase Toshihiro, Nagao Masahiro, Komori Tetsuo & Kansaku Kenji - 2015 - Frontiers in Human Neuroscience 9.
  2.  28
    Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  3.  30
    A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
    Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church–Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church–Rosser theorem using only the notion of Takahashi translation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  13
    Predicate Logics Without the Structure Rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.
    In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  22
    Syntactical Investigations intoBI Logic andBB′I Logic.Yuichi Komori - 1994 - Studia Logica 53 (3):397 - 416.
    In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  18
    Evaluation of Structural Vacancies for 1/1-Al–Re–Si Approximant Crystals by Positron Annihilation Spectroscopy.K. Yamada, H. Suzuki, H. Kitahata, Y. Matsushita, K. Nozawa, F. Komori, R. S. Yu, Y. Kobayashi, T. Ohdaira, N. Oshima, R. Suzuki, Y. Takagiwa, K. Kimura & I. Kanazawa - forthcoming - Philosophical Magazine:1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Intraday Activity Levels May Better Reflect the Differences Between Major Depressive Disorder and Bipolar Disorder Than Average Daily Activity Levels.Tsunehiko Tanaka, Kumiko Kokubo, Kazunori Iwasa, Kosuke Sawa, Naoto Yamada & Masashi Komori - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  33
    A Reduction Rule for Peirce Formula.Sachio Hirokawa, Yuichi Komori & Izumi Takeuti - 1996 - Studia Logica 56 (3):419 - 426.
    A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  23
    A New Semantics for Intuitionistic Predicate Logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
    The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  15
    The Number of Proofs for a BCK-Formula.Yuichi Komori & Sachio Hirokawa - 1993 - Journal of Symbolic Logic 58 (2):626-628.
  11.  23
    A Lambda Proof of the P-W Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
    The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  21
    1 The Type Free Λρ-Calculus.Yuichi Komori & Arato Cho - 2002 - Bulletin of the Section of Logic 31 (2):65-70.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  15
    Reduction Rules for Intuitionistic $${{\Lambda}{\Rho}}$$ Λ Ρ -Calculus.Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori & Naosuke Matsuda - 2015 - Studia Logica 103 (6):1225-1244.
    The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    Logic Based on Combinators.Yuichi Komori - 1989 - Bulletin of the Section of Logic 18 (3):100-104.
  15.  9
    Relationship Between Emotion and Diffusion of Disaster Information on Social Media: Case Study on 2011 Tohoku Earthquake.Asako Miura, Fujio Toriumi, Masashi Komori, Naohiro Matsumura & Kai Hiraishi - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (1):NFC-A_1-9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Effects of Working Memory Capacity on Metacognitive Monitoring: A Study of Group Differences Using a Listening Span Test.Mie Komori - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    Solution to a Problem of Ono and Komori.John Slaney - 1989 - Journal of Philosophical Logic 18 (1):103 - 111.
  18.  23
    Book Review:Visions of Virtue in Tokugawa Japan: The Kaitokudo Merchant Academy of Osaka. Tetsuo Najita. [REVIEW]Alasdair MacIntyre - 1988 - Ethics 98 (3):587-.
  19.  8
    Note on a Lemma of Komori.Lloyd Humberstone - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  5
    When Lines Get Crossed: Cyberphobia, Cyber-Philia and Technoerotica in Tetsuo: The Iron Man.Sid Sondergard - 1999 - Semiotics 23:213.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. On Komori Algebras. 古森雄一 & コモリユウイチ - 2001 - Bulletin of the Section of Logic 30 (2).
     
    Export citation  
     
    Bookmark  
  22. Tokugawa Political Writings. Edited by Tetsuo Najita.T. Hanzawa - 2001 - The European Legacy 6 (1):107-107.
     
    Export citation  
     
    Bookmark  
  23.  44
    Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
    A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is provable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  12
    Tokugawa Political Writings.Tetsuo Najita (ed.) - 1998 - Cambridge University Press.
    The modern political consciousness of Japan cannot be understood without reference to the history of the Tokugawa period, the era between 1600 and 1868 that preceded Japan's modern transformation. Tetsuo Najita introduces the ideas of the leading political thinker of the period, Ogyu Sorai, a pivotal figure in laying the conceptual foundations of Japan's modernization. His basic thoughts about history and the ethical purposes of politics are presented, revealing the richness of the philosophical legacy of eighteenth-century Japan, a legacy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  7
    Ethical Concerns on Sharing Genomic Data Including Patients’ Family Members.Kyoko Takashima, Yuichi Maru, Seiichi Mori, Hiroyuki Mano, Tetsuo Noda & Kaori Muto - 2018 - BMC Medical Ethics 19 (1):61.
    Platforms for sharing genomic and phenotype data have been developed to promote genomic research, while maximizing the utility of existing datasets and minimizing the burden on participants. The value of genomic analysis of trios or family members has increased, especially in rare diseases and cancers. This article aims to argue the necessity of protection when sharing data from both patients and family members. Sharing patients’ and family members’ data collectively raises an ethical tension between the value of datasets and the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Multi-Dimensional Dynamics of Human Electromagnetic Brain Activity.Tetsuo Kida, Emi Tanaka & Ryusuke Kakigi - 2015 - Frontiers in Human Neuroscience 9.
  27.  7
    How and When? Metacognition and Solution Timing Characterize an “Aha” Experience of Object Recognition in Hidden Figures.Tetsuo Ishikawa, Mayumi Toshima & Ken Mogi - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    Finitely Generated Free MV-Algebras and Their Automorphism Groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
    The MV-algebra S m w is obtained from the (m+1)-valued ukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MV m w generated by S m w . This yields an easy description of the free MV m w -algebras over one generator. We (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  4
    Prospecting for Marine Gas Hydrate Resources.Ray Boswell, Craig Shipp, Thomas Reichel, Dianna Shelander, Tetsuo Saeki, Matthew Frye, William Shedd, Timothy S. Collett & Daniel R. McConnell - 2016 - Interpretation: SEG 4 (1):SA13-SA24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  42
    On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.
    In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  4
    A Design Knowledge Management System Based on a Model of Synthesis.Yutaka Nomaguchi, Yoshiki Shimomura & Tetsuo Tomiyama - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20 (1):11-24.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  24
    Development of Agent System Based on Decision Model for Creating an Ambient Space.Takashi Nishiyama, Shinpei Hibiya & Tetsuo Sawaragi - 2011 - AI and Society 26 (3):247-259.
    This paper describes a decision model for an autonomous agent that provides an inhabitant with comfort based on information network technologies that connect home electric appliances with household equipment. The inhabitant enjoys the benefit of comfort, while he pays the cost for keeping that comfort. The autonomous agent should decide and control household equipment considering that cost from the inhabitant’s viewpoint. Thus, we utilized a representation scheme called an “influence diagram” that enabled us to model the decision-making process of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  6
    Visions of Virtue in Tokugawa Japan: The Kaitokudō Merchant Academy of Osaka.Tetsuo Najita - 1988 - Ethics 98 (3):587-588.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  9
    Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
    Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ${\bigcup_{x\in X} [x_\theta)}$ for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  7
    Decomposability of Free Łukasiewicz Implication Algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
    Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  22
    Constructing a Traffic Information Providing System Utilizing Multi-Source Information.Hiroshi Tamaki, Junji Yano, Kouji Kagawa, Tetsuo Morita, Masayuki Numao & Satoshi Kurihara - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:394-399.
  37.  22
    New Trends in Japanese Popular Culture.Tetsuo Kogawa - 1985 - Telos: Critical Theory of the Contemporary 1985 (64):147-152.
    ‘Popular culture’ has two Japanese translations: taishu bunka and minshu bunka. Bunka embraces the entire concept of ‘culture,’ but ‘popular’ isn't so easily translated. Taishu means a large number (tai) of population or groups (shu), while minshu means groups (shu) of ordinary people (min). Thus, minshu bunka is a more faithful translation of 'popular culture’ than taishu bunka. Yet, the expression minshu bunka does not occur as frequently as taishu bunka. This means that, in thejapanese context, ‘popular culture’ is generally (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Logical Structure of Sciences.Tetsuo Shimizu - 1982 - Annals of the Japan Association for Philosophy of Science 6 (2):91-102.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  15
    Visions of Virtue in Tokugawa Japan: The Kaitokudō Merchant Academy of OsakaVisions of Virtue in Tokugawa Japan: The Kaitokudo Merchant Academy of Osaka.Peter Nosco & Tetsuo Najita - 1989 - Journal of the American Oriental Society 109 (1):109.
  40.  14
    Electrical Conductivity and Thermoelectric Power of Concentrated Lithium-Methylamine Solutions.Tetsuo Toma, Yoshio Nakamura & Mitsuo Shimoji - 1976 - Philosophical Magazine 33 (1):181-187.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  25
    Bound States of the Nucleon-Monopole System.Tetsuo Sawada - 1993 - Foundations of Physics 23 (2):291-311.
    The energy spectrum of the bound states of the nucleon-monopole system is determined, the monopole harmonics Yq,l,m are related to Wigner's functions D m,m′ (L) of the rotation matrix, and the scattering wave functions of the proton in the dyon source field are calculated.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Set Theoretical Structures of Physical Concepts.Tetsuo Shimizu - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):239-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Proposing Centrality Measures Considering Actual Distances and Applications to Extracting Important Sightseeing Spots.Takayasu Fushimi, Kazumi Saito, Nobuaki Mutoh, Tetsuo Ikeda & Kazuhiro Kazama - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (6):703-712.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  29
    Guattari and Japan.Toshiya Ueno - 2012 - Deleuze and Guatarri Studies 6 (2):187-209.
    Revisiting Guattari's visits to Japan in the 1980s during the country's ‘bubble economy’, this paper investigates from a personal perspective the Radio Homerun mini-FM station as well as other stops on Guattari's Tokyo ‘pilgrimage’. Guattari's reception and influence in Japan is contextualised through the writer Kõbõ Abe and philosopher Kiyoteru Hanada, in addition to the groundbreaking work of Tetsuo Kogawa, against the backdrop of the rise of postmodernism. Similarities between Guattari's sense of Japan and Brazil are then broached.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Japanese Thought in the Tokugawa Period, 1600-1868 Methods and Metaphors.Tetsuo Najita & Irwin Scheiner - 1978
  46.  19
    Simon of Faversham's Sophisma: "Universale Est Intentio".Tetsuo Yokoyama - 1969 - Mediaeval Studies 31 (1):1-14.
  47.  11
    Public Experiment and Evaluation of Semantic Web Service Matchmaker.Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Massimo Paolucci & Katia Sycara - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:426-436.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    The Arabic Dialect of Qifṭ : Grammar and Classified VocabularyThe Arabic Dialect of Qift : Grammar and Classified Vocabulary.Alan S. Kaye & Tetsuo Nishio - 1996 - Journal of the American Oriental Society 116 (2):331.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  8
    Construction of Autonomous Traffic Light Offset Control System Using Multi Agent System.Takashi Shirai, Junji Yano, Shigeki Nishimura, Kouji Kagawa, Tetsuo Morit, Masayuki Numao & Satoshi Kurihara - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26:324-329.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  7
    A Basic Vocabulary of the Bedouin Arabic Dialect of the Jbāli Tribe A Basic Vocabulary of the Bedouin Arabic Dialect of the Jbali Tribe.Alan S. Kaye & Tetsuo Nishio - 1994 - Journal of the American Oriental Society 114 (3):471.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 61