Results for 'Mitsuru Yasuhara'

65 found
Order:
  1.  9
    Extensionality in Bernays set theory.Mitsuru Yasuhara - 1984 - Notre Dame Journal of Formal Logic 25 (4):357-363.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Syntactical and semantical properties of generalized quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
  3.  7
    An axiomatic system for the first order language with an equi-cardinality quantifier.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):633-640.
  4.  5
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
  5.  5
    An Addition to “Cut Elimination in ϵ‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
  6.  6
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
  7.  37
    Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20-21):311-316.
  8.  26
    An Addition to “Cut Elimination in ε-Calculi”.Mitsuru Yasuhara - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):483-484.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  32
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  31
    R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 , pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  11.  23
    REVIEWS-An introduction to mathematical logic and type theory: To truth through proof.P. B. Andrews & Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408.
  12.  4
    Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q{omega1}$ Theory with Maximal Models of Many Cardinalities. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  13.  2
    Review: R. H. Thomason, H. Leblanc, All or None: a Novel Choice of Primitives for Elementary Logic. [REVIEW]Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  14.  11
    Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
  15.  26
    J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 , pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 , pp. 691–700. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  16.  3
    Nakamatachi e no tegami: kyōiku wa nani o mezasu ka.Mitsuru Mikami - 1990 - [Tokyo]: Rōdō Junpōsha.
  17.  7
    Kokoro no uchinaru kyōikuron.Mitsuru Shirai - 1989 - Tōkyō: Gyōken.
  18.  11
    A Comparative Study of Artistic Play and Zoukei-Asobi.Mitsuru Fujie - 2003 - The Journal of Aesthetic Education 37 (4):107-114.
    In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 107-114 [Access article in PDF] A Comparative Study of Artistic Play and Zoukei-Asobi[Tables] "Artistic Play" and "Zoukei-Asobi" Recently, I found an article in Art Education which led me to believe that "artistic play" is not as popular among North America art educators as it is in Japan. 1 For Japanese art educators, especially at the elementary level, this word is well-known as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    An interpretation of Aristotle's modal syllogism.Mitsuru Okabe - 1981 - Annals of the Japan Association for Philosophy of Science 6 (1):19-41.
  20.  10
    The function [mathematical formula] in sharply bounded arithmetic.Mitsuru Tada & Makoto Tatsuta - 1997 - Archive for Mathematical Logic 36 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  4
    A comparative study of artistic play and.Mitsuru Fujie - 2003 - Journal of Aesthetic Education 37 (4):107-114.
    In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 107-114 [Access article in PDF] A Comparative Study of Artistic Play and Zoukei-Asobi[Tables] "Artistic Play" and "Zoukei-Asobi" Recently, I found an article in Art Education which led me to believe that "artistic play" is not as popular among North America art educators as it is in Japan. 1 For Japanese art educators, especially at the elementary level, this word is well-known as (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  27
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  23.  28
    Ethical Framework for Next-Generation Genome and Epigenome Editing.Kyoko Akatsuka, Mitsuru Sasaki-Honda & Tsutomu Sawai - 2020 - American Journal of Bioethics 20 (8):32-36.
    Volume 20, Issue 8, August 2020, Page 32-36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  33
    Somatosensory Evoked Field in Response to Visuotactile Stimulation in 3- to 4-Year-Old Children.Gerard B. Remijn, Mitsuru Kikuchi, Kiyomi Shitamichi, Sanae Ueno, Yuko Yoshimura, Kikuko Nagao, Tsunehisa Tsubokawa, Haruyuki Kojima, Haruhiro Higashida & Yoshio Minabe - 2014 - Frontiers in Human Neuroscience 8.
  25. Interactions among bacteria: A review.Barbara Ann Benson & Mitsuru Nakamura - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 62-65.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  5
    The function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\lfloor a/m\rfloor$\end{document} in sharply bounded arithmetic. [REVIEW]Mitsuru Tada & Makoto Tatsuta - 1997 - Archive for Mathematical Logic 37 (1):51-57.
    This paper proves that the division operation \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\lfloor a/m\rfloor$\end{document} is provably total in the system \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $S_2^0$\end{document} of bounded arithmetic if and only if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $m$\end{document} is of the form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $2^n$\end{document} for some \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
  28.  23
    The structure of an Al–Rh–Cu decagonal quasicrystal studied by spherical aberration -corrected scanning transmission electron microscopy.Kenji Hiraga, Akira Yasuhara, Kazuki Yamamoto & Kunio Yubuta - 2015 - Philosophical Magazine 95 (14):1524-1535.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  8
    Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions.Yukio Ohsawa & Mitsuru Ishizuka - 1997 - Artificial Intelligence 91 (1):131-154.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  15
    Cudia Dennis F. and Singletary Wilson E.. The Post correspondence problem.Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  14
    Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  19
    Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  30
    The study of Al3 crystal and Al–Mn–Pd decagonal quasicrystal by spherical aberration-corrected scanning transmission microscopy and atomic-resolution energy dispersive X-ray spectroscopy.Akira Yasuhara & Kenji Hiraga - 2015 - Philosophical Magazine 95 (14):1511-1523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Γ-precipitate strengthening in Nickel-based superalloys.Akiyuki Takahashi, Mitsuru Kawanabe & Nasr M. Ghoniem - 2010 - Philosophical Magazine 90 (27-28):3767-3786.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
     
    Export citation  
     
    Bookmark  
  36.  2
    Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
  37.  2
    Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  3
    Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
  39.  88
    Agency over a phantom limb and electromyographic activity on the stump depend on visuomotor synchrony: a case study.Shu Imaizumi, Tomohisa Asai, Noriaki Kanayama, Mitsuru Kawamura & Shinichi Koyama - 2014 - Frontiers in Human Neuroscience 8.
  40.  14
    Anodal Transcranial Direct Current Stimulation Induces High Gamma-Band Activity in the Left Dorsolateral Prefrontal Cortex During a Working Memory Task: A Double-Blind, Randomized, Crossover Study.Takashi Ikeda, Tetsuya Takahashi, Hirotoshi Hiraishi, Daisuke N. Saito & Mitsuru Kikuchi - 2019 - Frontiers in Human Neuroscience 13.
  41.  44
    Causation: A functional perspective.Fumiaki Toyoshima, Riichiro Mizoguchi & Mitsuru Ikeda - 2019 - Applied ontology 14 (1):43-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  23
    Adjan S. I.. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 , American Mathematical Society, Providence 1967, iii + 152 pp. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  25
    A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  27
    Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 , pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 , pp. 680–692. [REVIEW]Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  11
    George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  20
    Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  19
    Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp. [REVIEW]M. Yasuhara - 1988 - Journal of Symbolic Logic 53 (1):312-314.
  49.  17
    The Brain Mechanisms Underlying the Perception of Pungent Taste of Capsaicin and the Subsequent Autonomic Responses.Shinpei Kawakami, Hajime Sato, Akihiro T. Sasaki, Hiroki C. Tanabe, Yumiko Yoshida, Mitsuru Saito, Hiroki Toyoda, Norihiro Sadato & Youngnam Kang - 2015 - Frontiers in Human Neuroscience 9.
  50.  20
    Recovery After Genocide: Understanding the Dimensions of Recovery Capital Among Incarcerated Genocide Perpetrators in Rwanda.Kevin Barnes-Ceeney, Lior Gideon, Laurie Leitch & Kento Yasuhara - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 65