Results for 'Tatsuji Ōno'

309 found
Order:
  1.  67
    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  
  2.  26
    A continuity principle equivalent to the monotone $$Pi ^{0}_{1}$$ fan theorem.Tatsuji Kawai - 2019 - Archive for Mathematical Logic 58 (3-4):443-456.
    The strong continuity principle reads “every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image.” We show that this principle is equivalent to the fan theorem for monotone \ bars. We work in the context of constructive reverse mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  78
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  4.  18
    Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
    In the context of constructive reverse mathematics, we show that weak Kőnig's lemma () implies that every pointwise continuous function is induced by a code in the sense of reverse mathematics. This, combined with the fact that implies the Fan theorem, shows that implies the uniform continuity theorem: every pointwise continuous function has a modulus of uniform continuity. Our results are obtained in Heyting arithmetic in all finite types with quantifier‐free axiom of choice.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  32
    Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.
    A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer‐operation (i.e., inductively defined neighbourhood function); the other is a function uniformly continuous near every compact image. We show that formal continuity is equivalent to the former while it is strictly (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  29
    Representing definable functions of HA by neighbourhood functions.Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):891-909.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Shibusawa Eiichi to jinrin shisō.Suejirō Ono - 1997 - Tōkyō: Taimeidō.
     
    Export citation  
     
    Bookmark  
  8.  50
    (1 other version)Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  9.  53
    Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2010 - Australasian Journal of Logic 8:50-81.
    In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10. no etika: tada ikiru koto no kantai no tetsugaku = L'éthique de la : philosophie de l'hospitalité du vivre.Fumio Ono - 2022 - Tōkyō-to Meguro-ku: Tōkyō Daigaku Shuppankai.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  17
    On the Origin of Indeterminancy.Ken-Ichi Ono - 1975 - In J. T. Fraser & Nathaniel M. Lawrence, The Study of Time II: Proceedings of the Second Conference of the International Society for the Study of Time Lake Yamanaka-Japan. Springer Verlag. pp. 249--257.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  16
    Does Mathematics Need Something other than Logic?Katuzi Ono - 1968 - Annals of the Japan Association for Philosophy of Science 3 (3):93-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  53
    Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
    Glivenko-type theorems for substructural logics are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  48
    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  
  16.  38
    Extending intuitionistic linear logic with knotted structural rules.R. Hori, H. Ono & H. Schellinx - 1994 - Notre Dame Journal of Formal Logic 35 (2):219-242.
  17.  40
    A Classification of Logics over FLew and Almost Maximal Logics.Hiroakira Ono & Masaki Ueda - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski, Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 3--13.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  43
    Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    Hō to dōtoku to kyōiku.Suejirō Ono - 1982 - Tokyo: Kōbundō Shuppansha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Izutsu Toshihiko: sekai to taiwasuru tetsugaku.Jun'ichi Ono - 2023 - Tōkyō-to Minato-ku: Keiō Gijuku Daigaku Shuppankai.
     
    Export citation  
     
    Bookmark  
  21.  40
    On the Representation of Finitely Many-Valued Logics by Electric Circuits.Katuzi Ono & Toshihiko Kurihara - 1957 - Journal of Symbolic Logic 22 (1):102.
  22. Shakai rinri.Suejirō Ono - 1973
     
    Export citation  
     
    Bookmark  
  23.  12
    Yield stress increase in electron irradiated copper.Kanji Ono, T. Mifune & M. Meshii - 1968 - Philosophical Magazine 17 (146):235-240.
  24.  95
    Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
    In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  26
    The jāti in the Mādhyamika – Different Approaches between Bhāviveka and Candrakīrti.Motoi Ono - 2023 - Journal of Indian Philosophy 51 (1):97-131.
    Kajiyama has argued that the basis for the concept of _jāti_ (false rejoinder) as described in the _Nyāyasūtra_ is the concept _xiang ying_ (相応) as found in the _Fangbian xin lun_ (方便心論). Kajiyama has also shown that the sophistic arguments called _xiang ying_ are very similar to the _prasaṅga_ arguments of Nāgārjuna, the founder of the Madhyamaka school. It thus seems worthwhile to investigate how later Mādhyamika philosophers treated the concept of _jāti_ that originally appeared as the result of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  33
    Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  88
    Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
    The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  28.  42
    On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
    An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  29.  26
    Towards a philosophy of education built on fragile parts: Technological rationality and knowledge of pathos.Fumio Ono - 2024 - Educational Philosophy and Theory 56 (2):182-191.
    The aim of this paper is to examine the relationship between education and technological rationality from the perspective of the philosophy of education, and to show that while education is deeply related to technique, skills, or technology, it can never be reduced to technical knowledge, and that there are things in education that overflow technical knowledge. I will here ask why there is something in education that overflows technical knowledge — I will define it as knowledge of pathos — and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  65
    On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
    LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  31. 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, Lecture Notes In Computer Science. Springer Verlag. pp. 1251-1258.
  32. Hōritsu shisōshi gaisetsu.Seiichirō Ono - 1961 - Tōkyō: Ichiryūsha.
     
    Export citation  
     
    Bookmark  
  33. Jikan, kūkan, busshitsu.Kenʼichi Ono - 1967
     
    Export citation  
     
    Bookmark  
  34. Kyōiku genri yōron.Jun Ono - 1977
     
    Export citation  
     
    Bookmark  
  35. Kō Sōgi.Kazuko Ono - 1967
     
    Export citation  
     
    Bookmark  
  36.  10
    Leonardo's constraint: two opaque objects cannot be seen in the same direction.Hiroshi Ono, Linda Lillakas, Philip M. Grove & Masahiro Suzuki - 2003 - Journal of Experimental Psychology: General 132 (2):253.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. "Mugen" no hanashi.Katuzi Ono - 1973
     
    Export citation  
     
    Bookmark  
  38. Nihongaku no dōtō.Masayasu Ono - 1944
     
    Export citation  
     
    Bookmark  
  39. Nichijōsei no rinri.Suejirō Ono - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  40. Nihon seishinshi.Masayasu Ono - 1935 - Tōkyō: Kenbunkan.
     
    Export citation  
     
    Bookmark  
  41.  43
    Obstructed Reason.Takuya Ono - 2008 - Proceedings of the Xxii World Congress of Philosophy 6:217-222.
    Epistemological investigation belonged to the core topics in Indian philosophical traditions, too. Right cognition had generally been regarded as one of the important means to emancipation (niḥśreyasa) since ancient times. To reach this religious goal, they keenly discussed the problems of what kinds of cognition we should accept as right or what kinds of objects a right cognition refers to. Specifically it is about the number and the nature of the means of right cognition that opinions differ from school to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  30
    Personal Attributes of Legislators and Parliamentary Behavior: An Analysis of Parliamentary Activities among Japanese Legislators.Yoshikuni Ono - 2015 - Japanese Journal of Political Science 16 (1):68-95.
    This study explores the individual-level activities of legislators in parliament, which have been largely ignored in the literature on parliamentary democracies. Individual legislators are extensively involved in parliamentary activities such as drafting private members’ bills and posing questions, even though these activities have only been considered to play marginal roles in parliamentary democracies. Moreover, their engagement varies significantly. By using unique data from Japan, this study demonstrates that the personal attributes of legislators affect their choice of parliamentary activities. Under electoral (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    Shakai rinri no shomondai.Suejirō Ono - 1975
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  65
    Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
    This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the join (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  66
    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 QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
  47. 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.
  48.  18
    Increments in cross-linguistic perspective: Introductory remarks.Tsuyoshi Ono & Elizabeth Couper-Kuhlen - 2007 - In Noel Burton-Roberts, Pragmatics. New York: Palgrave-Macmillan. pp. 17--4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  43
    The grammaticization of the Japanese verbs oku and shimau.Tsuyoshi Ono - 1992 - Cognitive Linguistics 3 (4):367-390.
  50.  39
    Newman's cogito: John Henry Newman's phenomenological meditations on first philosophy.Ono Paul Ekeh - 2011 - Heythrop Journal 52 (1):90-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 309