Results for 'Kazuyuki Tanka'

54 found
Order:
  1.  33
    A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):63-64.
  2.  11
    A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
  3.  10
    Kazuyuki Tanaka. The Galvin–Prikry Theorem and Set Existence Axioms. Annals of Pure and Applied Logic, Vol. 42 , Pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
  4.  4
    Comments on Prof. Kazuyuki Nomoto's Paper. L.^|^Ouml & Permartin F. - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  5.  8
    Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments.Toshio Suzuki - 2017 - Annals of the Japan Association for Philosophy of Science 25:79-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Comments on Prof. Kazuyuki Nomoto's Paper.Per Martin-Lof - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):98-99.
  7.  6
    "The Night All Mankind Grew Old" and Three Other Tanka Sequences.T. Ishii & H. Sato - 2015 - Common Knowledge 21 (1):126-136.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
  9. [Challenged by [Challenged by [Challenged by the Incompleteness Theorems]]] - a Review of K. Godel, "Uber Fromal Unentscheidbare Satze der Principia Mathematica Und Verwandter Systeme I", Translated and Commented by Susumu Hayashi and Mariko Yasugi , / Kazuyuki Tanaka, "Challenged by Godel".Sakaé Fuchino - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):63-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Review of Kazuyuki Nomoto "Frege Tetsugaku No Zenbou ". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  15
    [Image] -Determinacy, Comprehension and Induction.Medyahya Ould Medsalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452 - 462.
    We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  13
    Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
    We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  13.  58
    Church-Fitchs argument än en gång, eller: vem är rädd för vetbarhetsparadoxen?Sten Lindström - 2017 - In George Masterton, Keizo Matsubara & Kim Solin (eds.), Från Skaradjäkne till Uppsalaprofessor: festskrift till Lars-Göran Johansson i samband med hans pensionering. Uppsala: Department of Philosophy, Uppsala university, Sweden. pp. 160-171.
    Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  8
    Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
    In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  15.  7
    Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  25
    Some Conservation Results on Weak König's Lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
    By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  19
    Non‐Standard Analysis in WKL0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
    Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  17
    Impact of Stimulus Uncanniness on Speeded Response.Kohske Takahashi, Haruaki Fukuda, Kazuyuki Samejima, Katsumi Watanabe & Kazuhiro Ueda - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  12
    On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
    Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  20
    Glaubenssatze and direkter Bezug.Kazuyuki Nomoto - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):137-161.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  10
    Corticospinal Excitability Modulation in Resting Digit Muscles During Cyclical Movement of the Digits of the Ipsilateral Limb.Tetsuro Muraoka, Masanori Sakamoto, Nobuaki Mizuguchi, Kento Nakagawa & Kazuyuki Kanosue - 2015 - Frontiers in Human Neuroscience 9.
  22.  25
    Weak Axioms of Determinacy and Subsystems of Analysis I: Δ20 Games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
  23.  6
    The Effect of Somatosensory Input on Motor Imagery Depends Upon Motor Imagery Capability.Nobuaki Mizuguchi, Takahiro Yamagishi, Hiroki Nakata & Kazuyuki Kanosue - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  3
    The Galvin-Prikry Theorem and Set Existen Axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
  25.  36
    A Non-Standard Construction of Haar Measure and Weak König's Lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
    In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  11
    High-Resolution Electron Microscopy Study of Ledge Structures and Transition Lattices at the Austenite–Martensite Interface in Fe-Based Alloys.Kazuyuki Ogawa & Setsuo Kajiwara † - 2004 - Philosophical Magazine 84 (27):2919-2947.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  2
    Safety and Feasibility of Transcranial Direct Current Stimulation for Cognitive Rehabilitation in Patients With Mild or Major Neurocognitive Disorders: A Randomized Sham-Controlled Pilot Study.Takuma Inagawa, Yuma Yokoi, Zui Narita, Kazushi Maruo, Mitsutoshi Okazaki & Kazuyuki Nakagome - 2019 - Frontiers in Human Neuroscience 13.
  28.  24
    Why, in 1902, Wasn't Frege Prepared to Accept Hume's Principle as the Primitive Law for His Logicist Program?Kazuyuki Nomoto - 2000 - Annals of the Japan Association for Philosophy of Science 9 (5):219-230.
  29.  18
    The Strong Soundness Theorem for Real Closed Fields and Hilbert?S Nullstellensatz in Second Order Arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
    By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  49
    Chaotic Neurons and Analog Computation.Kazuyuki Aihara & Jun Kyung Ryeu - 2001 - Behavioral and Brain Sciences 24 (5):810-811.
    Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  1
    fNIRS Studies on Hemispheric Asymmetry in Atypical Neural Function in Developmental Disorders.Hirokazu Doi & Kazuyuki Shinohara - 2017 - Frontiers in Human Neuroscience 11.
  32.  1
    Conversion of Japanese Slang Into Standard Japanese Considering Sensibility.Kazuyuki Matsumoto, Seiji Tsuchiya, Misako Imono, Minoru Yoshida & Kenji Kita - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (1):WII-A_1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  19
    A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
  34.  20
    Ueber den Zusammenhang zwischen Gedanken, Erkenntniswert und Oratio obliqua bei Frege.Kazuyuki Nomoto - 1990 - Annals of the Japan Association for Philosophy of Science 7 (5):251-266.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35.  6
    Frege on Indexicals.Kazuyuki Nomoto - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):253-259.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  36.  17
    Software Development and Testing for Machine Learning Studies.Takaki Makino & Kazuyuki Aihara - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (4):253-262.
  37.  8
    A Game‐Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
    We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  8
    Analysis of Congestion Reduction by Two-Phase Evacuation with A Pedestrian Simulation.Tomohisa Yamashita, Itsuki Noda, Koji Ogino, Kazuyuki Takada & Miho Ohara - 2016 - Transactions of the Japanese Society for Artificial Intelligence 31 (6):AG-I_1-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    Muscle Relaxation of the Foot Reduces Corticospinal Excitability of Hand Muscles and Enhances Intracortical Inhibition.Kouki Kato, Tetsuro Muraoka, Nobuaki Mizuguchi, Kento Nakagawa, Hiroki Nakata & Kazuyuki Kanosue - 2016 - Frontiers in Human Neuroscience 10.
  40.  10
    Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - 人工知能学会論文誌: Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
  41.  13
    Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.Keisuke Yoshii & Kazuyuki Tanaka - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 374--383.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  6
    Statistical Analysis of the Expectation-Maximization Algorithm with Loopy Belief Propagation in Bayesian Image Modeling.Shun Kataoka, Muneki Yasuda, Kazuyuki Tanaka & D. M. Titterington - 2012 - Philosophical Magazine 92 (1-3):50-63.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    TAP Equation for Non-Negative Boltzmann Machine.Muneki Yasuda & Kazuyuki Tanaka - 2012 - Philosophical Magazine 92 (1-3):192-209.
  44.  6
    A Study on Right or Wrong of Retaliatory-Hit-Batsman in Baseball.Mitsuharu Omine, Hidenori Tomozoe & Kazuyuki Nagashima - 2013 - Journal of the Philosophy of Sport and Physical Education 35 (1):7-19.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  6
    Social Percolation in Relations Between Activists and Supporters.Kazuyuki Ikko Takahashi & Ryousuke Murai - 2006 - Complexity 11 (6):51-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    Philosophy of Science in Japan in 1991-1995.Kazuyuki Nomoto - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):87-94.
  47.  4
    Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  6
    Love Messaging.S. Manghani - 2009 - Theory, Culture and Society 26 (2-3):209-232.
    The article examines the nature of mobile phone text messaging, or `txting', in the context of a discourse of love. It draws links between the txt message and the much older, revered form of love messaging, Japanese tanka poetry. In cutting across both a historical and technological divide, it seeks to elucidate a more subtle understanding of how text messaging — from a literary perspective — plays its part in amorous exchange and argues how it has the capacity to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Glaubenss^|^auml;tze und direkter Bezug.Kazuyuki Nomoto - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):137-161.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  3
    The Methodology and Structure of Gottlob Frege's Logico-Philosophical Investigations.Kazuyuki Nomoto - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):73-97.
1 — 50 / 54