A proof-theoretic analysis of the classical propositional matrix method

DOI10.1093/LOGCOM/EXS045MaRDI QIDQ5406130zbMATH OpenOpenAlexFDO

Authors Eike Ritter, Edmund P. Robinson, David 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

proof theorycategory theoryclassical logicpropositional logicmatrix method

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• scientific article; zbMATH DE number 3981151
• scientific article; zbMATH DE number 49746
• scientific article; zbMATH DE number 1189109
• scientific article; zbMATH DE number 1748580
• Converting non-classical matrix proofs into sequent-style systems

Cited in

(7)

• Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 49746 (Why is no real title available?)
• A uniform procedure for converting matrix proofs into sequent-style systems
• scientific article; zbMATH DE number 1748580 (Why is no real title available?)
• scientific article; zbMATH DE number 3981151 (Why is no real title available?)
• Converting non-classical matrix proofs into sequent-style systems

This page was built for publication: A proof-theoretic analysis of the classical propositional matrix method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406130)