Results for 'S. -Y. Kuroda'

35 found
Order:
  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
     
    Export citation  
     
    Bookmark  
  2.  28
    The Development of the Kenmitsu System as Japan’s Medieval Orthodoxy.Toshio Kuroda - 1996 - Japanese Journal of Religious Studies 23 (3-4):233-269.
  3.  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.
  4. 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.
     
    Export citation  
     
    Bookmark  
  5.  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   12 citations  
  6.  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  
  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
    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  
  9.  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  
  10.  12
    Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
  11.  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  
  12.  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.
  13.  10
    Causative Forms in Japanese.S. Kuroda - 1965 - Foundations of Language 1 (1):30-50.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  10
    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
    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  
  16.  7
    Two Remarks on Pronominalization.S. Kuroda - 1971 - Foundations of Language 7 (2):183-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  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  
  18.  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  
  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: 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.
  21.  3
    Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):172-173.
  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.  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  
  24. Obituary for Zeno Vendler.Susan Fischer & S. Kuroda - 2004 - Philosophy Pathways 77.
     
    Export citation  
     
    Bookmark  
  25. A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
     
    Export citation  
     
    Bookmark  
  26. Book Review. [REVIEW]S. Kuroda - 1972 - Journal of the American Oriental Society 92 (2):353-355.
    No categories
     
    Export citation  
     
    Bookmark  
  27. 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  
  28.  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  
  29.  10
    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  
  30.  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  
  31.  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  
  32.  13
    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   19 citations  
  33.  30
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  34. 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 (...)
     
    Export citation  
     
    Bookmark  
  35.  35
    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