1 paper · 1 filter
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano +2
Refutation calculi are formal systems developed to derive the invalid formulas of a given logic. While the notion of refutation calculi has played a key role in the development of…