Theorem Provers for Substructural Logics


Mirjana Isaković Ilić


We describe theorem provers for some decidable propositional substructural logics.