Ferrari, Mauro; Fiorentini, Camillo Goal-oriented proof-search in natural deduction for intuitionistic propositional logic. (English) Zbl 1474.03067 J. Autom. Reasoning 62, No. 1, 127-167 (2019). MSC: 03B35 03B20 03F07 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido JTabWb: a Java framework for implementing terminating sequent and tableau calculi. (English) Zbl 1373.68364 Fundam. Inform. 150, No. 1, 119-142 (2017). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI