Order:
Disambiguations
S. Kuroda [22]S. -Y. Kuroda [9]Sigekatu Kuroda [8]Satoru Kuroda [4]
S.-Y. Kuroda [3]Shoichi Kuroda [2]Susumu Kuroda [1]Satoshi Kuroda [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  45
    The Categorical and the Thetic Judgment: Evidence from Japanese Syntax.S. Kuroda - 1972 - Foundations of Language 9 (2):153-185.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  24
    David G. Cantor. On the ambiguity problem of Backus systems. Journal of the Association for Computing Machinery, vol. 9 , pp. 477–479. [REVIEW]S. -Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114.
  3.  27
    Boundary EEG Asymmetry Is Associated to Linguistic Competence in Vascular Cognitive Impairments.Takashi Shibata, Toshimitu Musha, Yukio Kosugi, Michiya Kubo, Yukio Horie, Mieko Tanaka, Haruyasu Matsuzaki, Yohei Kobayashi & Satoshi Kuroda - 2018 - Frontiers in Human Neuroscience 12.
  4. A bounded arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
     
    Export citation  
     
    Bookmark  
  5. Edmund Husserl, grammar systematic grammar and Anton Marty.Sy Kuroda - 1973 - Foundations of Language 10 (2):169-195.
  6. How should we bridge the missing steps in translational research for stroke therapy.S. Kuroda - 2008 - A Critical Review. Jpn J Stroke 30:875-880.
     
    Export citation  
     
    Bookmark  
  7. Review: David G. Cantor, On the Ambiguity Problem of Backus Systems. [REVIEW]S.-Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114-114.
  8. Review: Peter S. Landweber, Decision Problems of Phrase-Structure Grammars. [REVIEW]S.-Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):115-115.
     
    Export citation  
     
    Bookmark  
  9.  20
    Sheila A. Greibach. The undecidability of the ambiguity problem for minimal linear grammars. Information and control, vol. 6 , pp. 119–125. [REVIEW]S.-Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114-115.
  10.  20
    Tadeusz Batóg. A contribution to axiomatic phonology. English, with Polish and Russian summaries. Studia logica, vol. 13 , pp. 67–80. [REVIEW]S. -Y. Kuroda - 1966 - Journal of Symbolic Logic 31 (2):251.
  11.  18
    Takeo Sugihara. Brouwer ronrigaku no tachi-ronrigaku-teki tokusei . Kagaku, vol. 21 no. 6 , pp. 294–295.S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Causative Forms in Japanese.S. Kuroda - 1965 - Foundations of Language 1 (1):30-50.
  13.  15
    Peter S. Landweber. Decision problems of phrase-structure grammars. IEEE transactions on electronic computers, vol. EC-13 , pp. 354–362. [REVIEW]S. -Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  20
    Suetuna Zyoiti. Sizensû zentai to yû koto ni tuite . Kisokagaku, no. 25 , pp. 1–3.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  32
    Some thoughts on the foundations of the theory of language use.S. -Y. Kuroda - 1979 - Linguistics and Philosophy 3 (1):1 - 17.
    I identify three functions of language: the communicative, the objectifying, and the objective. I claim that of these three functions, the objective function is the most essential, in the sense specified in the paper, and the communicative the least. I further indicate that language use without the communicative function is more prevalent than might commonly be believed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  17.  13
    Heyting A.. Intuitionism. An introduction. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 133 pp. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    Ômori Shozo. Naihó ronrigaku no keiskikika . The proceedings of the Department of Humanities, College of General Education, University of Tokyo, series of philosophy, vol. 3 no. 1 , pp. 129–149. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  19.  12
    Suetuna Zyoiti. Über die Grundlagen der Mathematik. Proceedings of the Japan Academy, vol. 27 , pp. 389–392.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):94-94.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Sprague–Grundy theory in bounded arithmetic.Satoru Kuroda - 2021 - Archive for Mathematical Logic 61 (1):233-262.
    We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  11
    Itô Kiyoshi. Sûgaku no kiso to siteno syûgôron . Kagaku kiso ron kenkyû , vol. 1 no. 1 , pp. 8–12.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Generalized quantifier and a bounded arithmetic theory for LOGCFL.Satoru Kuroda - 2007 - Archive for Mathematical Logic 46 (5-6):489-516.
    We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Murata Zen. Syûgô to sono kanketusei—Syûgô gainen to zikangainen to no kôsyô— . Kisokagaku, no. 30 , pp. 14–20.S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    Anton Marty and the Transformational Theory of Grammar.S. Kuroda - 1972 - Foundations of Language 9 (1):1-37.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  11
    On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
    We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  12
    An Independence Result on Weak Second Order Bounded Arithmetic.Satoru Kuroda - 2001 - Mathematical Logic Quarterly 47 (2):183-186.
    We show that length initial submodels of S12 can be extended to a model of weak second order arithmetic. As a corollary we show that the theory of length induction for polynomially bounded second order existential formulae cannot define the function division.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  8
    Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Review: Zyoiti Suetuna, On the Notion of the Totality of Natural Numbers. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Review: Kiyoshi Ito, Set Theory as Foundation of Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  39
    A formal theory of speech acts.S. -Y. Kuroda - 1986 - Linguistics and Philosophy 9 (4):495 - 524.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  7
    An investigation on the logical structure of mathematics (V).1 contradictions of Russell's type.Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (4):393-407.
  32.  4
    Review: Zen Murata, Sets and their Completedness--Relation of the Concepts, Set and Time--. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
  33.  4
    Review: Zyoiti Suetuna, Uber die Grundlagen der Mathematik. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):94-94.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  34.  33
    An explanatory theory of communicative intentions.S. -Y. Kuroda - 1989 - Linguistics and Philosophy 12 (6):655 - 681.
  35.  3
    A Study of Japanese Syntax.S. -Y. Kuroda & Kazuko Inoue - 1972 - Journal of the American Oriental Society 92 (2):353.
  36.  3
    Review: A. Heyting, Espace de Hilbert et Intuitionnisme; Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson, Discussion. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  37.  3
    Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
  38.  15
    Edmund Husserl, Grammaire Générale et Raisonnée and Anton Marty.S. -Y. Kuroda - 1973 - Foundations of Language 10 (2):169-195.
  39.  2
    Review: Zyoiti Suetuna, On the Notion of Totality in Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
  40. Review: A. Heyting, Intuitionism. An Introduction. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
  41.  8
    Two Remarks on Pronominalization.S. Kuroda - 1971 - Foundations of Language 7 (2):183-198.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  1
    Review: Zyoiti Suetuna, On the Notion of Totality. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  1
    Geach and Katz on presupposition.S. -Y. Kuroda - 1974 - Foundations of Language 12 (2):177-199.