Results for 'S. -Y. Kuroda'

38 found
Order:
  1.  11
    Editor's Introduction: Kuroda Toshio and His Scholarship.James C. Dobbins - 1996 - Japanese Journal of Religious Studies 23 (3/4):217-232.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  44
    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   16 citations  
  3.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
     
    Export citation  
     
    Bookmark  
  5. Book Review. [REVIEW]S. Kuroda - 1972 - Journal of the American Oriental Society 92 (2):353-355.
    No categories
     
    Export citation  
     
    Bookmark  
  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.  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  
  8.  12
    A Kuroda-Style J -Translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5-6):627-634.
    A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  17
    Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  10.  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  
  11.  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  
  12.  11
    Ô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.
  13.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  13
    Anton Marty and the Transformational Theory of Grammar.S. Kuroda - 1972 - Foundations of Language 9 (1):1-37.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  6
    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  
  16.  5
    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  
  17.  1
    Dialectic of Praxis: Umemoto’s Philosophy of Subjectivity and Uno’s Methodology of Social Science.Kan'ichi Kuroda - 2001 - Kaihoh-Sha.
    Machine generated contents note: Dialectic of Praxis -- I. Philosophy of Subjectivity and -- Historical Materialism 7 -- A. What is the "Toposical Tachiba"? 7 -- B. The Present and Past of Umemoto's Theory of Subjectivity 17 -- C. The Basis and Structure of Degeneration 36 -- II. Confused 'Dialectic of the Subject of Cognition' 48 -- A. Destruction of the Logic of Origo 48 -- 1. Summary of Umemoto's Epistemology 49 -- 2. Umemoto's Defect in Epistemology 56 -- 3. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  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.
  19.  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  
  20.  3
    Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
  21.  11
    Causative Forms in Japanese.S. Kuroda - 1965 - Foundations of Language 1 (1):30-50.
  22.  2
    Review: Zyoiti Suetuna, On the Notion of Totality in Mathematics. [REVIEW]S. Kuroda - 1956 - Journal of Symbolic Logic 21 (1):95-95.
  23.  8
    Two Remarks on Pronominalization.S. Kuroda - 1971 - Foundations of Language 7 (2):183-198.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Obituary for Zeno Vendler.Susan Fischer & S. Kuroda - 2004 - Philosophy Pathways 77.
     
    Export citation  
     
    Bookmark  
  25.  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  
  26.  32
    The Development of the Kenmitsu System as Japan’s Medieval Orthodoxy.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):233-269.
  27. Praxiology: Philosophy of Inter-Human Subjectivity: A Contribution to the Study of Marx's Dialectics as the Logic of Topos-Process.Hirokazu Kuroda - 1998 - Kobushi Shobo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  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.
  29.  7
    In-situTEM Observation of Transformation of Dislocations From Shuffle to Glide Sets in Si Under Supersaturation of Interstitials.H. Saka, K. Yamamoto, S. Arai & K. Kuroda - 2006 - Philosophical Magazine 86 (29-31):4841-4850.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  23
    Une double réception du concept de sujet: Le sujet agissant et le complément de sujet dans une philosophie linguistique.Akinobu Kuroda - 2016 - European Journal of Japanese Philosophy 1:359-364.
    Dans la double conception du sujet que précise Tokieda Motoki dans sa théorie du processus langagier : sujet subordonné au prédicat et sujet d’action langagière volontaire, conception fondée sur une théorie linguistique inspirée principalement d’études grammaticales de la langue japonaise et qui s’est donc totalement émancipée du paradigme de la grammaire des langues européennes, on peut retrouver, de manière tout à fait paradoxale et frappante, le sens originaire du sujet, à savoir celui de son origine latine « subjectum » qui (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  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  
  32.  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 (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Inquiry Into the Origin of Humanity: An Annotated Translation of Tsung-Mi's Yuan-Jen Lun with a Modern Commentary. Peter N. Gregory. [REVIEW]T. H. Barrett - 1997 - Buddhist Studies Review 14 (2):194-196.
    Inquiry into the Origin of Humanity: An Annotated Translation of Tsung-mi's Yuan-jen lun with a Modern Commentary. Peter N. Gregory. A Kuroda Institute Book. University of Hawai'i Press, Honolulu 1995, xv, 264 pp. Cloth $46.00, pbk $17.95.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  43
    Glivenko Theorems and Negative Translations in Substructural Predicate Logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
    Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL e . It is shown that there exists the weakest logic over QFL e among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  17
    Indeterminate Phrase Quantification in Japanese.Junko Shimoyama - 2006 - Natural Language Semantics 14 (2):139-173.
    This paper examines the question of how so-called indeterminate phrases in Japanese (Kuroda 1965) associate with relevant particles higher in the structure. In the universal construction in Japanese, the restrictor (provided by an indeterminate phrase) sometimes appears to be separate from the universal particle mo. It is proposed that quantification at a distance is only apparent, and that the restriction is in fact provided locally by the sister constituent of mo as a whole. The proposal leads us to a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  36.  2
    A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - forthcoming - Studia Logica:1-35.
    A cut-free Gentzen sequent calculus for Ewald’s intuitionistic tense logic \ is established. By the proof-theoretic method, we prove that, for every set of strictly positive implications S, the classical tense logic \ is embedded into its intuitionistic analogue \ via Kolmogorov, Gödel–Genzten and Kuroda translations respectively. A sufficient and necessary condition for Glivenko type theorem in tense logics is established.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  33
    Kripke Sheaf Completeness of Some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.Dmitrij Skvortsov - 2012 - Studia Logica 100 (1-2):361-383.
    The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  4
    Collectivism in 20th-Century Japanese Art.Reiko Tomii & Midori Yoshimoto - 2013 - Duke University Press.
    This special issue explores the significance of collectivism in modern and contemporary Japanese art. Japanese artists banded together throughout the twentieth century to work in collectives, reflecting and influencing each evolution of their culture. Illuminating the interplay between individual and community throughout Japan’s tumultuous century, the contributors to this issue examine both the practical internal operations of the collectives and the art that they produced. One contributor studies the art societies of prewar imperial Japan, whose juried art salons defined a (...)
    Direct download  
     
    Export citation  
     
    Bookmark