一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

Ono Hiroakira

No．書籍情報
1 Locally communicative interaction framework for adaptively self-organizing mobile sensor networks / Tatara, Kazutaka, Lee, Geunho, Ono, Hiroaki, Chong, Nak Young, 2012 IEEE International Conference on Automation Science and Engineering (CASE), pp.1138-1143, 2012-08, Institute of Electrical and Electronics Engineers (IEEE)
2 Logics without the contraction rule and residuated lattices / Ono, Hiroakira, Australasian Journal of Logic, 8(1), pp.50-81, 2010-09-22, University of Melbourne
3 Fuzzy logics from substructural perspective / Kowalski, Tomasz, Ono, Hiroakira, Fuzzy Sets and Systems, 161(3), pp.301-310, 2010-09-09, Elsevier
4 Cut elimination and strong separation for substructural logics: An algebraic approach / Galatos, Nikolaos, Ono, Hiroakira, Annals of Pure and Applied Logic, 161(9), pp.1097-1133, 2010-04-17, Elsevier
5 Glivenko theorems revisited / Ono, Hiroakira, Annals of Pure and Applied Logic, 161(2), pp.246-250, 2009-06-13, Elsevier
6 Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logic / Kihara, Hitoshi, Ono, Hiroakira, Journal of Logic and Computation, 20(4), pp.823-875, 2009-01-08, Oxford University Press
7 Algebraic characterizations of variable separation properties / KIHARA, Hitoshi, ONO, Hiroakira, Reports on Mathematical Logic, 43, pp.43-63, 2008, Jagiellonian University Press
8 Glivenko theorems for substructural logics over FL / Galatos, Nikolaos, Ono, Hiroakira, The Journal of Symbolic Logic, 71(4), pp.1353-1384, 2006-12, Association for Symbolic Logic
9 The inductive and modal proof theory of Aumann's theorem on rationality / Vestergaard, Rene, Lescanne, Pierre, Ono, Hiroakira, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2006-009, pp.1-17, 2006-07-07, 北陸先端科学技術大学院大学情報科学研究科
10 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL / Galatos, Nikolaos, Ono, Hiroakira, Studia Logica, 83(1-3), pp.279-308, 2006-06, Springer
11 Reasoning in Nonclassical Logics / Ono, Hiroakira, pp.1-4, 2005-03-11
12 Algebraic aspects of cut elimination / Belardinelli, Francesco, Jipsen, Peter, Ono, Hiroakira, Studia Logica, 77(2), pp.209-240, 2004-07, Springer
13 Closure operators and complete embeddings of residuated lattices / Ono, Hiroakira, Studia Logica, 74(3), pp.427-440, 2003-08, Springer
14 The variety of residuated lattices is generated by its finite simple members / KOWALSKI, Tomasz, ONO, Hiroakira, Reports on Mathematical Logic, 34, pp.59-77, 2000, Jagiellonian University Press
15 Hilbert style proof system for BPL / Suzuki, Yasuhito, Ono, Hiroakira, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-97-0040F, pp.1-8, 1997-10-07, 北陸先端科学技術大学院大学情報科学研究科
16 Uniqueness of normal proofs in {→,∧}-fragment of NJ / Aoto, Takahito, Ono, Hiroakira, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-94-0024F, pp.1-20, 1994-08-11, 北陸先端科学技術大学院大学情報科学研究科

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係