Results about logics that were new with proof systems other than sequent calculus

martdowd at martdowd at
Sat Aug 28 15:46:26 EDT 2021

 Revantha Ramanayake wrote:
>>> I am interested across all logics and all sorts of proof systems 

Adding the extension rule to resolution and Frege systems has had a significant impact in propositional complexity theory.  It has been considered more generally in
It undoubtedly can be added to sequent systems.
- Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210828/5cf4ee2e/attachment-0001.html>

More information about the FOM mailing list