Showing 15 items.
| Date of Issue | Title |
Authors |
|---|
| 11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
| 7-Oct-1997 | Hilbert style proof system for BPL | Suzuki, Yasuhito; Ono, Hiroakira |
| 2000 | The variety of residuated lattices is generated by its finite simple members | KOWALSKI, Tomasz; ONO, Hiroakira |
| Aug-2003 | Closure operators and complete embeddings of residuated lattices | Ono, Hiroakira |
| Jul-2004 | Algebraic aspects of cut elimination | Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira |
| 11-Mar-2005 | Reasoning in Nonclassical Logics | Ono, Hiroakira |
| Jun-2006 | Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL | Galatos, Nikolaos; Ono, Hiroakira |
| 7-Jul-2006 | The inductive and modal proof theory of Aumann's theorem on rationality | Vestergaard, Rene; Lescanne, Pierre; Ono, Hiroakira |
| Dec-2006 | Glivenko theorems for substructural logics over FL | Galatos, Nikolaos; Ono, Hiroakira |
| 2008 | Algebraic characterizations of variable separation properties | KIHARA, Hitoshi; ONO, Hiroakira |
| 8-Jan-2009 | Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logic | Kihara, Hitoshi; Ono, Hiroakira |
| 13-Jun-2009 | Glivenko theorems revisited | Ono, Hiroakira |
| 17-Apr-2010 | Cut elimination and strong separation for substructural logics: An algebraic approach | Galatos, Nikolaos; Ono, Hiroakira |
| 9-Sep-2010 | Fuzzy logics from substructural perspective | Kowalski, Tomasz; Ono, Hiroakira |
| 22-Sep-2010 | Logics without the contraction rule and residuated lattices | Ono, Hiroakira |
