Vitalsource Technologies, Inc. Hiroakira Ono On Substructural Logics