A proof-theoretic analysis of the classical propositional matrix method
From MaRDI portal
Publication:5406130
DOI10.1093/logcom/exs045zbMath1327.03042OpenAlexW2052092980MaRDI 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
Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations, relations to logic and deductive systems (18A15)
This page was built for publication: A proof-theoretic analysis of the classical propositional matrix method
