A proof-theoretic analysis of the classical propositional matrix method

DOI10.1093/logcom/exs045zbMath1327.03042MaRDI QIDQ5406130

Eike Ritter, Edmund P. Robinson, David J. Pym

Publication date: 1 April 2014

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7912f6950b86ea78ec69d073e4d1d6cb3aca60a9

zbMATH Keywords

propositional logic; proof theory; category theory; classical logic; matrix method

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

03B05: Classical propositional logic

03F03: Proof theory in general (including proof-theoretic semantics)

18A15: Foundations, relations to logic and deductive systems