33 found
Sort by:
  1. Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono (forthcoming). Uniform Interpolation in Substructural Logics. Review of Symbolic Logic:1-30.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Hadi Farahani & Hiroakira Ono (2012). Glivenko Theorems and Negative Translations in Substructural Predicate Logics. 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)  
     
    My bibliography  
     
    Export citation  
  3. Nikolaos Galatos, Peter Jipsen & Hiroakira Ono (2012). Preface. Studia Logica 100 (6):1059-1062.
  4. Sándor Jenei & Hiroakira Ono (2012). On Involutive FL E-Monoids. 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)  
     
    My bibliography  
     
    Export citation  
  5. Hiroakira Ono (2012). Algebraic Logic. Journal of the Indian Council of Philosophical Research 1.
     
    My bibliography  
     
    Export citation  
  6. Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Nikolaos Galatos & Hiroakira Ono (2010). Cut Elimination and Strong Separation for Substructural Logics: An Algebraic Approach. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Hiroakira Ono (2009). Glivenko Theorems Revisited. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Hitoshi Kihara & Hiroakira Ono (2008). Algebraic Characterizations of Variable Separation Properties. Reports on Mathematical Logic.
    This paper gives algebraic characterizations of Halld\'{e}n completeness , and of Maksimova's variable separation property and its deductive form. Though algebraic characterizations of these properties have been already studied for modal and superintuitionistic logics, e.g. in Wro\'{n}ski [12] , pp.126--129), Maksimova [7] , pp.168--184), [9] , pp.99--112), a deeper analysis of these properties and non-trivial modifications of these results are needed to extend them to those for substructural logics, because of the lack of some structural rules in them. The first (...)
     
    My bibliography  
     
    Export citation  
  10. Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. 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)  
     
    My bibliography  
     
    Export citation  
  12. Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Hiroakira Ono (2006). Nikolaos Galatos. Studia Logica 83:1-32.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. 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)  
     
    My bibliography  
     
    Export citation  
  15. Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. 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)  
     
    My bibliography  
     
    Export citation  
  16. Hiroakira Ono & Masaki Ueda (2003). A Classification of Logics Over FLew and Almost Maximal Logics. In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers 3--13.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Franco Montagna & Hiroakira Ono (2002). Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀. 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)  
     
    My bibliography  
     
    Export citation  
  18. Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli (2001). List of Participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy). Logic and Logical Philosophy 7:16.
    No categories
     
    My bibliography  
     
    Export citation  
  19. Hiroakira Ono (2001). Francesco Belardinelli Peter Jipsen. Studia Logica 68:1-32.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Tomasz Kowalski & Hiroakira Ono (2000). Remarks on Splittings in the Variety of Residuated Lattices. Reports on Mathematical Logic:133-140.
     
    My bibliography  
     
    Export citation  
  21. Tomasz Kowalski & Hiroakira Ono (2000). The Variety Of Residuated Lattices Is Generated By Its Finite Simple Members. 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.
     
    My bibliography  
     
    Export citation  
  22. Bayu Surarso & Hiroakira Ono (1996). Cut Elimination In Noncommutative Substructural Logics. Reports on Mathematical Logic:13-29.
    The present paper is concerned with the cut eliminability for some sequent systems of noncommutative substructural logics, i.e. substructural logics without exchange rule. Sequent systems of several extensions of noncommutative logics FL and LBB'I, which is sometimes called $\tw$, will be introduced. Then, the cut elimination theorem and the decision problem for them will be discussed in comparison with their commutative extensions.
     
    My bibliography  
     
    Export citation  
  23. Takahito Aoto & Hiroakira Ono (1994). Non-Uniqueness of Normal Proofs for Minimal Formulas in Implication-Conjunction Fragment of BCK. Bulletin of the Section of Logic 23 (3):104-112.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Robert K. Meyer & Hiroakira Ono (1994). The Finite Model Property for BCK and BCIW. Studia Logica 53 (1):107 - 118.
    This paper shows that both implicational logics BCK and BCIW have the finite model property. The proof of the finite model property for BCIW, which is equal to the relevant logic $\text{R}_{\rightarrow}$ , was originally given by the first author in his unpublished paper [6] in 1973. The finite model property for BCK can be obtained by modifying the proof of that for BCIW. Here, both of these proofs will be given in a unified form and the difference between them (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Pierluigi Minari, Mitio Takano & Hiroakira Ono (1990). Intermediate Predicate Logics Determined by Ordinals. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Hiroakira Ono (1988). On Finite Linear Intermediate Predicate Logics. 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)  
     
    My bibliography  
     
    Export citation  
  27. Hiroakira Ono (1987). Reflection Principles in Fragments of Peano Arithmetic. Mathematical Logic Quarterly 33 (4):317-333.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. 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)  
     
    My bibliography  
     
    Export citation  
  29. Hiroakira Ono (1985). Semantical Analysis of Predicate Logics Without the Contraction Rule. 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)  
     
    My bibliography  
     
    Export citation  
  30. Hiroakira Ono & Yuichi Komori (1985). Logics Without the Contraction Rule. Journal of Symbolic Logic 50 (1):169-201.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Hiroakira Ono & Akira Nakamura (1980). On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. 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)  
     
    My bibliography  
     
    Export citation  
  32. Hiroakira Ono (1977). On Some Intuitionistic Modal Logics. Bulletin of the Section of Logic 6 (4):182-184.
    Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [7], Bull [1], [2], [3], Prawitz [6] etc. Here we treat modal logics based on the intuitionistic propositional logic, which call intuitionistic modal logics.
     
    My bibliography  
     
    Export citation  
  33. Hiroakira Ono (1930). Logics Without the Contraction Rule and Residuated Lattices. Australasian Journal of Philosophy 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  
     
    My bibliography  
     
    Export citation