Results for 'Makoto Ono'

568 found
Order:
  1. Blind and Visually Impaired People: Mobility and Orientation-CyARM: Interactive Device for Environment Recognition and Joint Haptic Attention Using Non-visual Modality.Tetsuo Ono, Takanori Komatsu, Jun-Ichi Akita, Kiyohide Ito & Makoto Okamoto - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 1251-1258.
  2.  95
    Itoh Makoto. “n-ti kansû soku” ni tuite ). Kyûsyû Daigaku kôgaku syûhô , vol. 28 no. 2 , pp. 96–99, 99–101.Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):100-101.
  3. Itoh Makoto. Sequential switch kairo no kihon hôteisiki . Kyûsyû Daigaku kôgaku syûhô , vol. 30 no. 3 , pp. 225–228.Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  4. Review: Makoto Itoh, On the General Topological Boolean Lattice. [REVIEW]Katuzi Ono - 1959 - Journal of Symbolic Logic 24 (1):73-74.
  5.  82
    Review: Makoto Itoh, On the General Solution of the Boolean (Two-Valued Logical) Equation in Several Variables; Makoto Itoh, On the General Solution of the Three-Valued Logical Equation. [REVIEW]Katuzi Ono - 1957 - Journal of Symbolic Logic 22 (1):101-101.
  6.  25
    Illusory models of peano arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
    By using a provability predicate of PA, we define ThmPA(M) as the set of theorems of PA in a modelMof PA. We say a modelMof PA is (1) illusory if ThmPA(M) ⊈ ThmPA(ℕ), (2) heterodox if ThmPA(M) ⊈ TA, (3) sane ifM⊨ ConPA, and insane if it is not sane, (4) maximally sane if it is sane and ThmPA(M) ⊆ ThmPA(N) implies ThmPA(M) = ThmPA(N) for every sane modelNof PA. We firstly show thatMis heterodox if and only if it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  25
    Conservation Theorems on Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2023 - Journal of Symbolic Logic 88 (4):1469-1496.
    We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf {PA}$ and intuitionistic arithmetic $\mathsf {HA}$. Using a generalized negative translation, we first provide a structured proof of the fact that $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over $\mathsf {HA} + {\Sigma _k}\text {-}\mathrm {LEM}$ where ${\Sigma _k}\text {-}\mathrm {LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma _k$. In addition, we show that this conservation theorem is optimal in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  17
    Completion of Algebras and Completeness of Modal and Substructural Logics.Hiroakira Ono - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 335-353.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Nihongo to Nihon shisō: Motoori Norinaga, Nishida Kitarō, Mikami Akira, Karatani Kōjin.Makoto Asari - 2008 - Tōkyō: Fujiwara Shoten.
     
    Export citation  
     
    Bookmark  
  10.  15
    Estrogen receptor α revised: Expression, structure, function, and stability.Makoto Habara & Midori Shimada - 2022 - Bioessays 44 (12):2200148.
    Estrogen receptor α (ERα) is a ligand‐dependent transcription factor that regulates the expression of estrogen‐responsive genes. Approximately 70% of patients with breast cancer are ERα positive. Estrogen stimulates cancer cell proliferation and contributes to tumor progression. Endocrine therapies, which suppress the ERα signaling pathway, significantly improve the prognosis of patients with breast cancer. However, the development of de novo or acquired endocrine therapy resistance remains a barrier to breast cancer treatment. Therefore, understanding the regulatory mechanisms of ERα is essential to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  23
    A Mathematical Model of Deductive and Non-Deductive Inferences.Makoto Kikuchi - 2009 - Annals of the Japan Association for Philosophy of Science 17:1-11.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Fukusūsei no Nihon shisō.Makoto Kurozumi - 2006 - Tōkyō: Perikansha.
     
    Export citation  
     
    Bookmark  
  13.  19
    (1 other version)A Pursuit of Simple Basic System.Katuzi Ono - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):6-11.
  14.  31
    Individuum, society, humankind: the triadic logic of species according to Hajime Tanabe.Makoto Ozaki - 2001 - Boston: Brill.
    In this collection on the Kyoto School of Philosophy, the author offers the reader Tanabe's religious philosophy, but also, and for the first time, his ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  13
    Religion and the State from Tanabe’s Dialectical Perspective.Makoto Ozaki - 2018 - Proceedings of the XXIII World Congress of Philosophy 61:129-133.
    Tanabe Hajime, the Kyoto School philosopher of modern Japan, proposes a new idea of the relationship between religion and politics in terms of the triadic logic of species that is motivated by the religious moment of repentance. Even the state existence has the inherently radical evil as in the case of the individual person, due to its duality of the species level of being. This means that the state existence is on the way of actualization of the genus like universality, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. "Kigyō keitai no tayōka o fumaeta iyakuhin iryō yōgu tō kanren kigyō ni okeru rinri kōjō oyobi hōrei junshu (konpuraiansu) taisei seibi ni kansuru kenkyū" hōkokusho: kōsei kagaku kenkyūhi hojokin, kōsei kagaku tokubetsu kenkyū jigyō, Heisei 13-nendo kenkyū hōkokusho.Makoto Shiragami (ed.) - 2002 - [Japan: [S.N.].
    No categories
     
    Export citation  
     
    Bookmark  
  17. Dōtoku no genri to ningen sonzai.Makoto Yamamoto - 1969
    No categories
     
    Export citation  
     
    Bookmark  
  18. Sō jidai jugaku no rinrigakuteki kenkyū.Makoto Yamamoto - 1973
     
    Export citation  
     
    Bookmark  
  19.  43
    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 (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  47
    The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
    Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  21.  29
    Platon et la question des images.Makoto Sekimura - 2009 - Bruxelles: Ousia.
  22. Weak vs. strong Readings of donkey sentences and monotonicity inference in a dynamic setting.Makoto Kanazawa - 1994 - Linguistics and Philosophy 17 (2):109 - 158.
    In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  23.  78
    Singular donkey pronouns are semantically singular.Makoto Kanazawa - 2001 - Linguistics and Philosophy 24 (3):383-403.
  24.  71
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  25.  53
    Cut elimination and strong separation for substructural logics: an algebraic approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.
    We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  42
    Semantical analysis of predicate logics without the contraction rule.Hiroakira Ono - 1985 - Studia Logica 44 (2):187 - 196.
    In this paper, a semantics for predicate logics without the contraction rule will be investigated and the completeness theorem will be proved. Moreover, it will be found out that our semantics has a close connection with Beth-type semantics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  71
    On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  28.  90
    On the Essence of Substance as the Individual.Makoto Ozaki - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 7:185-189.
    Hajime Tanabe (1885-1962), the Kyoto- School philosopher of modern Japan, attempts to interpret Aristotle's ontology as being involved in the logic of self-identical being without self-negative conversion in action from his own dialectical perspective. For Tanabe, the eternal essence or Form is to be mediated by the dynamic character of matter, i.e., the temporality pertinent to the changing movement. For Aristotle, however, the essence or pure activity as the principle of being is devoid of such a dynamic mediation, but is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  65
    Newman’s Account of Ambrose St. John’s Death.Ono Ekeh - 2011 - Newman Studies Journal 8 (2):5-18.
    Both Ambrose St. John (1815–1875) and John Henry Newman (1801–1890), who were received into the Roman Catholic Church in 1845, became members of the Birmingham Oratory. Newman’s closest companion for over three decades, St. John’s death was extremely painful for Newman, not only because it was unexpected, but because of his devotion to Newman as well as his dedication to his spiritual duties. Along with presenting Newman’s narrative of the last few weeks of St. John’s life, this essay raises the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  39
    Classical provability of uniform versions and intuitionistic provability.Makoto Fujiwara & Ulrich Kohlenbach - 2015 - Mathematical Logic Quarterly 61 (3):132-150.
    Along the line of Hirst‐Mummert and Dorais, we analyze the relationship between the classical provability of uniform versions Uni(S) of Π2‐statements S with respect to higher order reverse mathematics and the intuitionistic provability of S. Our main theorem states that (in particular) for every Π2‐statement S of some syntactical form, if its uniform version derives the uniform variant of over a classical system of arithmetic in all finite types with weak extensionality, then S is not provable in strong semi‐intuitionistic systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Kindai shisō kōza.Makoto Hori, Giichi Kamo & Toshio Kamba (eds.) - 1948
    No categories
     
    Export citation  
     
    Bookmark  
  32.  10
    特集「人工知能の哲学」趣旨.Makoto Kikuchi - 2017 - Kagaku Tetsugaku 50:33-34.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  81
    The Unbounded and Social Mind: Dewey on the Locus of Mind.Makoto Kureha - 2016 - Essays in Philosophy 17 (2):125-155.
    In the recent debate concerning the boundary of mind, the extended mind thesis (EMT), which states that our mind and cognition are extended into the environment, is influential as an antithesis to the internalist view, according to which mind and cognition are in the head. However, EMT has some serious difficulties. On the contrary to its proponents’ claim, EMT contributes neither to demystifying the mind, nor to promoting our understanding of cognition. Moreover, it leads to an extreme kind of individualism (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34. Maruyama Masao to Nihon no shūkyō.Makoto Nakajima - 1999 - Tōkyō: Daisan Bunmeisha.
     
    Export citation  
     
    Bookmark  
  35.  12
    Semantic sensitive tensor factorization.Makoto Nakatsuji, Hiroyuki Toda, Hiroshi Sawada, Jin Guang Zheng & James A. Hendler - 2016 - Artificial Intelligence 230 (C):224-245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Chūgoku koten shisō no kenkyū.Makoto Nemoto - 1971 - Gendai Ajia Shuppankai.
     
    Export citation  
     
    Bookmark  
  37.  20
    Dynamical response of helium bubble motion to irradiation with high-energy self-ions in aluminum at high temperature.K. Ono, M. Miyamoto, K. Arakawa & R. C. Birtcher - 2009 - Philosophical Magazine 89 (6):513-524.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Shakai rinri no shomondai.Suejirō Ono - 1975
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  31
    The grammaticization of the Japanese verbs oku and shimau.Tsuyoshi Ono - 1992 - Cognitive Linguistics 3 (4):367-390.
  40. Nihon ni igiari.Makoto Sataka - 1992 - Tōkyō: Kōdansha.
     
    Export citation  
     
    Bookmark  
  41.  64
    Intergenerational Rights: A Philosophical Examination.Makoto Usami - 2011 - In Patricia Hanna (ed.), An Anthology of Philosophical Studies, Vol. 5. Athens Institute of Education and Research.
    One of the primary views on our supposed obligation towards our descendants in the context of environmental problems invokes the idea of the rights of future generations. A growing number of authors also hold that the descendants of those victimized by historical injustices, including colonialism and slavery, have the right to demand financial reparations for the sufferings of their distant ancestors. However, these claims of intergenerational rights face theoretical difficulties, notably the non-identity problem. To circumvent this problem in a relationship (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Keijijōgaku no kanōsei.Makoto Yamamoto - 1977 - Tokyo Daigaku Shuppankai.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Nakae Tōju no jugaku.Makoto Yamamoto - 1977
     
    Export citation  
     
    Bookmark  
  44. Rinrigaku no taishō to hōhō.Makoto Yamamoto - 1966
    No categories
     
    Export citation  
     
    Bookmark  
  45.  7
    Overview of Awarded Papers–The 22nd Annual Conference of JSAI.Makoto Yokoo - 2009 - In Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo & Yohei Murakami (eds.), New Frontiers in Artificial Intelligence: JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers. Springer. pp. 3--4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  12
    Development of ssvep-bmi for controlling lego mindstorms car.Ono Yumie - 2015 - Frontiers in Human Neuroscience 9.
  47.  84
    A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
    We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  48.  39
    Prenex normal form theorems in semi-classical arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2021 - Journal of Symbolic Logic 86 (3):1124-1153.
    Akama et al. [1] systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their semi-classical principles restricted to prenex formulas. However, there are some errors in their proof. In this paper, we provide a simple counterexample of their prenex normal form theorem [1, Theorem 2.7], then modify it in an appropriate way which still serves (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  22
    Robust combinatorial auction protocol against false-name bids.Makoto Yokoo, Yuko Sakurai & Shigeo Matsubara - 2001 - Artificial Intelligence 130 (2):167-181.
  50.  32
    Joint turn construction through language and the body: Notes on embodiment in coordinated participation in situated activities.Makoto Hayashi - 2005 - Semiotica 2005 (156):21-53.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 568