1 paper · 1 filter
T. Jarmuzek, R. Gore
We set out a general methodology for producing tableau systems for propositional logics via a tableau metatheory that provides general and formal notions for different tableau syst…