Order:
Disambiguations
S. Kuroda [23]S. -Y. Kuroda [10]Sigekatu Kuroda [8]S.-Y. Kuroda [4]
Satoru Kuroda [3]Shoichi Kuroda [2]Sy Kuroda [1]Satoshi Kuroda [1]

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

  1.  33
    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   13 citations  
  2.  22
    Indexed Predicate Calculus.S. -Y. Kuroda - 1982 - Journal of Semantics 1 (1):43-59.
    A programme to construct an extension of predicate calculus is proposed in which predicates and constants are indexed and interpreted with respect to different (mini-)vorlds reffered to by indices. From another perspective the proposed system is an extension of the idea of indexing noun phrases in syntactic representations in generative grammar. Some applications are given, bx particular, it is applied to the description of ambiguities in intensional contexts, and a comparison is made with a description recently given by Saarinen.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  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.
  4.  19
    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.
  5.  19
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    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.
  7.  15
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  13
    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  
  9.  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  
  10.  31
    An Explanatory Theory of Communicative Intentions.S. -Y. Kuroda - 1989 - Linguistics and Philosophy 12 (6):655 - 681.
  11.  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  
  12.  12
    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  
  13.  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  
  14.  31
    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  
  15.  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  
  16.  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  
  17.  13
    Edmund Husserl, Grammaire Générale Et Raisonnée and Anton Marty.S. -Y. Kuroda - 1973 - Foundations of Language 10 (2):169-195.
  18.  12
    Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  19.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  10
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  8
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    Anton Marty and the Transformational Theory of Grammar.S. Kuroda - 1972 - Foundations of Language 9 (1):1-37.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  7
    Ô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.
  24.  10
    Causative Forms in Japanese.S. Kuroda - 1965 - Foundations of Language 1 (1):30-50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  6
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  7
    Two Remarks on Pronominalization.S. Kuroda - 1971 - Foundations of Language 7 (2):183-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  5
    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  
  28.  4
    Review: Kiyoshi Ito, Set Theory as Foundation of Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  3
    A Study of Japanese Syntax.S. -Y. Kuroda & Kazuko Inoue - 1972 - Journal of the American Oriental Society 92 (2):353.
  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.  3
    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.  3
    Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
  34.  2
    Review: Zyoiti Suetuna, On the Notion of Totality in Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
  35. Review: A. Heyting, Intuitionism. An Introduction. [REVIEW]Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
  36.  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  
  37.  1
    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.
  38. Obituary for Zeno Vendler.Susan Fischer & S. Kuroda - 2004 - Philosophy Pathways 77.
     
    Export citation  
     
    Bookmark  
  39. A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
     
    Export citation  
     
    Bookmark  
  40. Book Review. [REVIEW]S. Kuroda - 1972 - Journal of the American Oriental Society 92 (2):353-355.
    No categories
     
    Export citation  
     
    Bookmark  
  41. Edmund Husserl, Grammar Systematic Grammar and Anton Marty.Sy Kuroda - 1973 - Foundations of Language 10 (2):169-195.
  42. Geach and Katz on Presupposition.S. -Y. Kuroda - 1974 - Foundations of Language 12 (2):177-199.
  43. 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  
  44. Review: David G. Cantor, On the Ambiguity Problem of Backus Systems. [REVIEW]S.-Y. Kuroda - 1967 - Journal of Symbolic Logic 32 (1):114-114.
  45. 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  
  46.  9
    Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations