Browsing: substructural logic