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

martdowd at aol.com martdowd at aol.com
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
   https://link.springer.com/chapter/10.1007/978-3-322-84222-0_4
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