## Works by Hiroakira Ono

38 found
Order:
1. This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

Export citation

Bookmark   71 citations
2. Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.

Export citation

Bookmark   89 citations
3. 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.

Export citation

Bookmark   30 citations
4. 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.

Export citation

Bookmark   7 citations
5. 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. (...)

Export citation

Bookmark   22 citations
6. 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.

Export citation

Bookmark   11 citations
7. 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 (...)

Export citation

Bookmark   12 citations
8. 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 (...)

Export citation

Bookmark   15 citations
9. Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.

Export citation

Bookmark   12 citations
10. 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 (...)

Export citation

Bookmark   8 citations
11. 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.

Export citation

Bookmark   11 citations
12. Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):317-333.

Export citation

Bookmark   11 citations
13. Knowledge, Proof and Dynamics.Fenrong Liu, Hiroakira Ono & Junhua Yu (eds.) - 2020 - Springer.
No categories

Export citation

Bookmark   1 citation
14. The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.

Export citation

Bookmark   11 citations
15. 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 (...)

Export citation

Bookmark   10 citations
16. 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 (...)

Export citation

Bookmark   5 citations
17. 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.

Export citation

Bookmark   9 citations
18. 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.

Export citation

Bookmark   9 citations
19. 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.

Export citation

Bookmark   9 citations
20. 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   5 citations
21. Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.

Export citation

Bookmark   2 citations
22. Preface.Nikolaos Galatos, Peter Jipsen & Hiroakira Ono - 2012 - Studia Logica 100 (6):1059-1062.

Export citation

Bookmark   3 citations
23. 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 (...)

Export citation

Bookmark   2 citations
24. 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.

Export citation

Bookmark   4 citations
25. Rasiowa-Sokorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics.Yoshihito Tanaka & Hiroakira Ono - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 419-437.
No categories

Export citation

Bookmark   2 citations
26. On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed between positive and non-positive rank algebras. As a (...)

Export citation

Bookmark   1 citation
27. 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.

Export citation

Bookmark   2 citations
28. Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
No categories

Export citation

Bookmark
29. No categories

Export citation

Bookmark
30. Algebraic logic.Hiroakira Ono - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).

Export citation

Bookmark
31. Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016.Syraya Chin-Mu Yang, Kok Yong Lee & Hiroakira Ono (eds.) - 2017 - Singapore: Springer.
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to (...)
No categories

Export citation

Bookmark
32. 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.

Export citation

Bookmark
33. Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.
No categories

Export citation

Bookmark
34. Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.

Export citation

Bookmark
35. 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.

Export citation

Bookmark
36. 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(α (...)

Export citation

Bookmark   1 citation
37. 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

Export citation

Bookmark   2 citations
38. 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