Results for 'Hlroakira Ono'

322 found
Order:
  1.  43
    The contraction rule and decision problems for logics without structural rules.Eiji Kiriyama & Hlroakira Ono - 1991 - Studia Logica 50 (2):299 - 319.
    This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  42
    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  
  3.  27
    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  
  4.  37
    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  
  5.  6
    Development of ssvep-bmi for controlling lego mindstorms car.Ono Yumie - 2015 - Frontiers in Human Neuroscience 9.
  6.  47
    Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  7.  37
    Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
    It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  8.  26
    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  
  9.  72
    Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
    Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  10.  46
    Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  11.  47
    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  
  12.  28
    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   9 citations  
  13.  22
    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.
  14.  36
    Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - 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  
  15.  36
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  16.  52
    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  
  17.  33
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):317-333.
  18.  21
    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  
  19.  10
    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  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  44
    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  
  21.  19
    Preface.Nikolaos Galatos, Peter Jipsen & Hiroakira Ono - 2012 - Studia Logica 100 (6):1059-1062.
  22.  46
    Analytic cut and interpolation for bi-intuitionistic logic.Tomasz Kowalski & Hiroakira Ono - 2017 - Review of Symbolic Logic 10 (2):259-283.
    We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  23.  22
    The effect of perceived motion-in-depth on time perception.Fuminori Ono & Shigeru Kitazawa - 2010 - Cognition 115 (1):140-146.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  5
    Completion of Algebras and Completeness of Modal and Substructural Logics.Hiroakira Ono - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 335-353.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  29
    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  
  26.  70
    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  
  27.  53
    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.  57
    The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  29.  47
    Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.
  30.  15
    Shinto; The Kami Way.E. H. S. & Sokyo Ono - 1962 - Journal of the American Oriental Society 82 (1):141.
  31.  30
    A Classification of Logics over FLew and Almost Maximal Logics.Hiroakira Ono & Masaki Ueda - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 3--13.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. 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.
  33. Bungaku ni tsuite.Shihei Ono - 1976
     
    Export citation  
     
    Bookmark  
  34. Chishiki katsudo no ha.Keitarō Ono - 1971
     
    Export citation  
     
    Bookmark  
  35.  36
    Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Hōritsu shisōshi gaisetsu.Seiichirō Ono - 1961 - Tōkyō: Ichiryūsha.
     
    Export citation  
     
    Bookmark  
  37. Hō to dōtoku to kyōiku.Suejirō Ono - 1982 - Tokyo: Kōbundō Shuppansha.
     
    Export citation  
     
    Bookmark  
  38.  7
    Increments in cross-linguistic perspective: Introductory remarks.Tsuyoshi Ono & Elizabeth Couper-Kuhlen - 2007 - In Noel Burton-Roberts (ed.), Pragmatics. Palgrave-Macmillan. pp. 17--4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Jikan, kūkan, busshitsu.Kenʼichi Ono - 1967
     
    Export citation  
     
    Bookmark  
  40. Jikū to renzoku.Katsuji Ono - 1974
     
    Export citation  
     
    Bookmark  
  41. Kyōiku genri yōron.Jun Ono - 1977
     
    Export citation  
     
    Bookmark  
  42. Kō Sōgi.Kazuko Ono - 1967
     
    Export citation  
     
    Bookmark  
  43. "Mugen" no hanashi.Katuzi Ono - 1973
     
    Export citation  
     
    Bookmark  
  44. 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  
  45. Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Nihongaku no dōtō.Masayasu Ono - 1944
     
    Export citation  
     
    Bookmark  
  47. Nichijōsei no rinri.Suejirō Ono - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  48. Nihon seishinshi.Masayasu Ono - 1935 - Tōkyō: Kenbunkan.
     
    Export citation  
     
    Bookmark  
  49.  36
    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  
  50.  6
    On the Origin of Indeterminancy.Ken-Ichi Ono - 1975 - In J. T. Fraser & Nathaniel M. Lawrence (eds.), The Study of Time Ii. Springer Verlag. pp. 249--257.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 322