"substructural logic" . . "substructural logic" . .