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.
Original language | English |
---|---|
Pages (from-to) | 283-301 |
Number of pages | 19 |
Journal | Journal of Logic and Computation |
Volume | 24 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1 Feb 2014 |
Keywords
- category theory
- Classical logic
- matrix method
- proof theory
- propositional logic
ASJC Scopus subject areas
- Logic
- Theoretical Computer Science
- Software
- Hardware and Architecture
- Arts and Humanities (miscellaneous)