Abstract
The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory. © 2012 The Author, 2012. Published by Oxford University Press.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have