DOI10.1093/jigpal/jzab031OpenAlexW4213296789MaRDI QIDQ5877708
Yale Weiss
Publication date: 16 February 2023 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzab031
zbMATH Keywords
tableauxrelevance logic
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX) Computer science (68-XX)