Tableau metatheory for propositional and syllogistic logics Part IV: Abstract tableau notions:
Tableau metatheory for propositional and syllogistic logics Part IV: Abstract tableau notions: rules, branches, tableaux Tomasz Jarmuek Nicolaus Copernicus University in Toru Poland Logic Summer School, 3th-14th, December 2018,
1.04k views • 61 slides