JAIST Repository >

著者:  "Ono, Hiroakira"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

15 著者名表示.

発行日タイトル 著者
11-Aug-1994 Uniqueness of normal proofs in {→,∧}-fragment of NJAoto, Takahito; Ono, Hiroakira
7-Oct-1997 Hilbert style proof system for BPLSuzuki, Yasuhito; Ono, Hiroakira
2000 The variety of residuated lattices is generated by its finite simple membersKOWALSKI, Tomasz; ONO, Hiroakira
Aug-2003 Closure operators and complete embeddings of residuated latticesOno, Hiroakira
Jul-2004 Algebraic aspects of cut eliminationBelardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
11-Mar-2005 Reasoning in Nonclassical LogicsOno, Hiroakira
Jun-2006 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
7-Jul-2006 The inductive and modal proof theory of Aumann's theorem on rationalityVestergaard, Rene; Lescanne, Pierre; Ono, Hiroakira
Dec-2006 Glivenko theorems for substructural logics over FLGalatos, Nikolaos; Ono, Hiroakira
2008 Algebraic characterizations of variable separation propertiesKIHARA, Hitoshi; ONO, Hiroakira
8-Jan-2009 Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural LogicKihara, Hitoshi; Ono, Hiroakira
13-Jun-2009 Glivenko theorems revisitedOno, Hiroakira
17-Apr-2010 Cut elimination and strong separation for substructural logics: An algebraic approachGalatos, Nikolaos; Ono, Hiroakira
9-Sep-2010 Fuzzy logics from substructural perspectiveKowalski, Tomasz; Ono, Hiroakira
22-Sep-2010 Logics without the contraction rule and residuated latticesOno, Hiroakira

 


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