Title: Hiroakira Ono on Substructural Logics