 In yet other examples, the order in which premises are used is important and an argument from \(A, B\) to \(C\) is to be distinguished from an argument from \(B, A\) to \(C\). (For more details, consult the entry on  substructural logics.)  There is no doubt that the formal systems of substructural logics are elegant and interesting, but the case for the philosophical importance and applicability of substructural logics is not closed.