Substructural logics are non-classical systems that alter or remove structural rules of classical logic, like relevance and linear logic, impacting…
Relevance logic is a non-classical logic designed to ensure premises are relevant to the conclusion, overcoming paradoxes found in material…
Abelian logic is a specific type of relevance logic. It notably rejects the inference rule of contraction while accepting the…