Results for 'Tatsuji Ōno'

244 found
Order:
  1. 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 - Fūgyōsha.
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  14
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  29
    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 QFL e . It is shown that there exists the weakest logic over QFL e among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  13
    Glivenko Theorems Revisited.Hiroakira Ono - 2009 - 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   4 citations  
  5.  51
    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 (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  35
    Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   35 citations  
  7.  48
    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 (7 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8.  28
    Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
  9.  37
    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 (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  10.  21
    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   2 citations  
  11.  24
    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 (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  14
    Mutual Exclusivity in Autism Spectrum Disorders: Testing the Pragmatic Hypothesis.Ashley de Marchena, Inge-Marie Eigsti, Amanda Worek, Kim Emiko Ono & Jesse Snedeker - 2011 - Cognition 119 (1):96-113.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  32
    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   7 citations  
  14.  36
    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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  15
    Hybridization of Genetic Algorithm with Local Search in Multiobjective Function Optimization: Recommendation of GA Then LS.Ken Harada, Kokolo Ikeda, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:482-492.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  14
    Local Search for Multiobjective Function Optimization: Pareto Descent Method.Ken Harada, Jun Sakuma, Kokolo Ikeda, Isao Ono & Shigenobu Kobayashi - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:350-360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  11
    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.
  18.  28
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):317-333.
  19. Intermediate Predicate Logics Determined by Ordinals.Pierluigi Minari, Mitio Takano & Hiroakira Ono - 1990 - Journal of Symbolic Logic 55 (3):1099-1124.
    For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable $\eta (> 0)$ , there exists a countable ordinal of the form β + η such that L(α (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  13
    Preface.Nikolaos Galatos, Peter Jipsen & Hiroakira Ono - 2012 - Studia Logica 100 (6):1059-1062.
  22.  14
    The Associations Among the Dopamine D2 Receptor Taq1, Emotional Intelligence, Creative Potential Measured by Divergent Thinking, and Motivational State and These Associations' Sex Differences. [REVIEW]Hikaru Takeuchi, Hiroaki Tomita, Yasuyuki Taki, Yoshie Kikuchi, Chiaki Ono, Zhiqian Yu, Atsushi Sekiguchi, Rui Nouchi, Yuka Kotozaki, Seishu Nakagawa, Carlos M. Miyauchi, Kunio Iizuka, Ryoichi Yokoyama, Takamitsu Shinada, Yuki Yamamoto, Sugiko Hanawa, Tsuyoshi Araki, Hiroshi Hashizume, Keiko Kunitoki, Yuko Sassa & Ryuta Kawashima - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  49
    The Finite Model Property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  20
    Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.
  25.  13
    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   2 citations  
  26.  32
    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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  68
    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.
  28.  20
    Efference and the Conscious Experience of Perception.Leon Festinger, Hirosho Ono & Clarke A. Burnham - 1967 - Journal of Experimental Psychology 74 (4, Pt.2):1-36.
  29. The Variety Of Residuated Lattices Is Generated By Its Finite Simple Members.Tomasz Kowalski & Hiroakira Ono - 2000 - Reports on Mathematical Logic:59-77.
    We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.
     
    Export citation  
     
    Bookmark   4 citations  
  30.  25
    On Involutive FL E -Monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
    The paper deals with involutive FL e -monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FL e -monoids over lattices are exactly involutive FL e -algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FL e -monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FL e -chains are classified by using the notion of rank of involutive FL e -chains, and a kind (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  5
    Spatial Analysis of Sade Traditional Hamlet in Lombok Island, Indonesia: The Alteration of Sasak Tribe’s Traditional Living Space.Dini Aiko Subiyantoro, Yasufumi Uekita, Shigeo Oodaira, Kunihiko Ono & Koji Sato - 2019 - Asian Culture and History 11 (2):11.
    Hundred years ago, vernacular architecture once triumphed. Unfortunately, poverty and low education bring people facing difficulties in understanding their own culture, building techniques, and village management. This problem then leads them to a bigger issue regarding the alteration of culture and traditional architecture. Among all vernacular architecture in Indonesia, Sasak traditional architecture is one of the unique architectures that still exist until now. However, globalization issue leads the alteration of vernacular architecture includes Sasak tribe culture and traditional village in Lombok (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  37
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  17
    Instance-Based Policy Learning by Real-Coded Genetic Algorithms and Its Application to Control of Nonholonomic Systems.Atsushi Miyamae, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:104-115.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  13
    Proposal and Evaluation of Functionally Specialized CMA-ES.Youhei Akimoto, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:58-68.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  17
    Constraint-Handling Method for Function Optimization: Pareto Descent Repair Operator.Ken Harada, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:364-374.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  11
    Proposal and Evaluation of Adaptive Real-Coded Crossover AREX.Youhei Akimoto, Yuichi Nagata, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:446-458.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  13
    Lens System Design by A Two Stage GA "Solid EMO".Masaharu Tanaka, Yohei Akimoto, Jun Sakuma, Isao Ono & Shigenobu Kobayashi - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23 (3):193-204.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  43
    Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—A Semantical Approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
    A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  36
    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.
  40.  35
    Selected Bioethical Issues in Japanese and German Textbooks of Biology for Lower Secondary Schools.Malte Peters*, Yumiko Ono, Koji Shimizu & Manfred Hesse - 1997 - Journal of Moral Education 26 (4):473-489.
    Abstract Some aspects of the coverage of bioethical issues in Japanese (11) and German (10 series) biology textbooks for lower secondary school have been investigated, concentrating on the treatment of environmental issues. It was found that German textbooks devote more space to these problems than the Japanese ones and that the style of presentation in German books is aimed at appealing to the emotions of the pupils, whereas that of the Japanese ones is a more traditional scientific one. The inclusion (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  18
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  12
    Japanese Atashi/Ore/Boku I: Theyre Not Just Pronouns.Tsuyoshi Ono & Sandra A. Thompson - 2003 - Cognitive Linguistics 14 (4).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  8
    Shinto; The Kami Way.E. H. S. & Sokyo Ono - 1962 - Journal of the American Oriental Society 82 (1):141.
  44.  9
    Structural Gray Matter Changes in the Hippocampus and the Primary Motor Cortex on An-Hour-to-One- Day Scale Can Predict Arm-Reaching Performance Improvement.Midori Kodama, Takashi Ono, Fumio Yamashita, Hiroki Ebata, Meigen Liu, Shoko Kasuga & Junichi Ushiba - 2018 - Frontiers in Human Neuroscience 12.
  45.  43
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    Non-Uniqueness of Normal Proofs for Minimal Formulas in Implication-Conjunction Fragment of BCK.Takahito Aoto & Hiroakira Ono - 1994 - Bulletin of the Section of Logic 23 (3):104-112.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  41
    Uniform Interpolation in Substructural Logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.
  48.  7
    Left Posterior Orbitofrontal Cortex Is Associated With Odor-Induced Autobiographical Memory: An fMRI Study.Keiko Watanabe, Yuri Masaoka, Mitsuru Kawamura, Masaki Yoshida, Nobuyoshi Koiwa, Akira Yoshikawa, Satomi Kubota, Masahiro Ida, Kenjiro Ono & Masahiko Izumizaki - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  15
    Efficient Retrieval for Contextual Advertising Utilizing Past Click Logs.Yukihiro Tagami, Toru Hotta, Yusuke Tanaka, Shingo Ono, Koji Tsukamoto & Akira Tajima - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (6):A-H52_1-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Development and Application of a Multi-Objective Optimization Tool for Renewable Energy Mix in Municipalities地域別再生可能エネルギーミックスの多目的最適化ツールの開発と応用.Keiko Hori, Takanori Matsui, Satoshi Ono, Ken-Ichi Fukui, Takashi Hasuike & Takashi Machimura - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (3):F-SGAI01_1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 244