Relevant analytic tableaux
Implication-Nagation Fragments of Relevant Logics
scientific article; zbMATH DE number 3630710
scientific article