Kazushige Terui

• Hiroakira Ono on Substructural Logics