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.  78
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  3.  17
    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  
  4.  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  
  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. 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  
  8. Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.
    No categories
     
    Export citation  
     
    Bookmark  
  9. Shibusawa Eiichi to jinrin shisō.Suejirō Ono - 1997 - Tōkyō: Taimeidō.
     
    Export citation  
     
    Bookmark  
  10.  5
    Shakai rinri no shomondai.Suejirō Ono - 1975
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  50
    (1 other version)Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  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.  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  
  14.  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  
  15.  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  
  16.  43
    Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  40
    On the Representation of Finitely Many-Valued Logics by Electric Circuits.Katuzi Ono & Toshihiko Kurihara - 1957 - Journal of Symbolic Logic 22 (1):102.
  18.  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  
  19.  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  
  20.  12
    Yield stress increase in electron irradiated copper.Kanji Ono, T. Mifune & M. Meshii - 1968 - Philosophical Magazine 17 (146):235-240.
  21.  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  
  22.  7
    Hō to dōtoku to kyōiku.Suejirō Ono - 1982 - Tokyo: Kōbundō Shuppansha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Shakai rinri.Suejirō Ono - 1973
     
    Export citation  
     
    Bookmark  
  24. Jikan, kūkan, busshitsu.Kenʼichi Ono - 1967
     
    Export citation  
     
    Bookmark  
  25. "Mugen" no hanashi.Katuzi Ono - 1973
     
    Export citation  
     
    Bookmark  
  26.  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  
  27.  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  
  28. Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
  29.  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.
  30.  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  
  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. Izutsu Toshihiko: sekai to taiwasuru tetsugaku.Jun'ichi Ono - 2023 - Tōkyō-to Minato-ku: Keiō Gijuku Daigaku Shuppankai.
     
    Export citation  
     
    Bookmark  
  33. Kō Sōgi.Kazuko Ono - 1967
     
    Export citation  
     
    Bookmark  
  34. Nihongaku no dōtō.Masayasu Ono - 1944
     
    Export citation  
     
    Bookmark  
  35. Nichijōsei no rinri.Suejirō Ono - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  36. Nihon seishinshi.Masayasu Ono - 1935 - Tōkyō: Kenbunkan.
     
    Export citation  
     
    Bookmark  
  37.  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  
  38.  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  
  39.  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  
  40.  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  
  41.  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  
  42.  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  
  43.  61
    The Phenomenological Context and Transcendentalism of John Henry Newman and Edmund Husserl.Ono Ekeh - 2008 - Newman Studies Journal 5 (1):35-50.
    John Henry Newman has rightly been hailed as a giant in the Catholic intellectual tradition. His contributions to theology, literature, and education have been studied at length; however, his contribution to philosophy has not received appropriate attention. This essay 1) explores Newman’s unique philosophical insights in terms of the phenomenological tradition of Edmund Husserl; 2) analyzes the transcendental approach of certain British scientists—notably Ronald Knox and Charles Darwin; and 3) discusses how Newman might be considered a phenomenologist.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  27
    The effect of unconscious priming on temporal production☆.Fuminori Ono & Jun-Ichiro Kawahara - 2005 - Consciousness and Cognition 14 (3):474-482.
    We examined the effects of unconscious priming on temporal-interval production. In Experiment 1, participants were instructed to keep visual displays on a screen for 2500 ms intervals. Half of the displays were repeated across blocks throughout the entire experiment, and the others were newly generated from trial to trial. The displays consisted of patterns so complex that the participants could not intentionally memorize them. The results showed that significantly more time elapsed for old displays than for new displays before participants (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  76
    Constrained Monotonicity and the Measurement of Power.Manfred J. Holler, Rie Ono & Frank Steffen - 2001 - Theory and Decision 50 (4):383-395.
    In this paper we will discuss constraints on the number of (non-dummy) players and on the distribution of votes such that local monotonicity is satisfied for the Public Good Index. These results are compared to properties which are related to constraints on the redistribution of votes (such as implied by global monotonicity). The discussion shows that monotonicity is not a straightforward criterion of classification for power measures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  11
    Kōkyō kūkan ni okeru ko no jiritsu: Imai Hiromichi Sensei taishoku kinen ronshū.Masako Inoue, Tatsuji Ōno, Yasunori Sugawara & Hiromichi Imai (eds.) - 2009 - Tōkyō: Fūgyōsha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Remarks on splittings in the variety of residuated lattices.Tomasz Kowalski & Hiroakira Ono - 2000 - Reports on Mathematical Logic:133-140.
     
    Export citation  
     
    Bookmark   1 citation  
  48.  5
    Kindai hōshisōshi nyūmon: Nihon to seiyō no majiwari kara yomu = Introduction to a history of modern legal thoughts.Tatsuji Ōno, Taku Morimoto & Kei Yoshinaga (eds.) - 2016 - Kyōto-shi: Hōritsu Bunkasha.
    立法・法改正論争が盛んな現代日本の法理論の背後にあるものを理解するため、幕末から新憲法までの法思想の道筋を辿る。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  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  
  50.  20
    Decidable fan theorem and uniform continuity theorem with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2021 - Mathematical Logic Quarterly 67 (1):116-130.
    The uniform continuity theorem states that every pointwise continuous real‐valued function on the unit interval is uniformly continuous. In constructive mathematics, is strictly stronger than the decidable fan theorem, but Loeb [17] has shown that the two principles become equivalent by encoding continuous real‐valued functions as type‐one functions. However, the precise relation between such type‐one functions and continuous real‐valued functions (usually described as type‐two objects) has been unknown. In this paper, we introduce an appropriate notion of continuity for a modulus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 309