substructural logic

type of logic

relevance logic
1