scientific article; zbMATH DE number 1748580

MaRDI QIDQ4530465zbMATH OpenFDO

Authors Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka

Publication date 3 June 2002

zbMATH Keywords

connection methodconstructive logicconstructive theorem provingmatrix methodsripplingunification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1612558
• Connection-driven inductive theorem proving
• A proof-theoretic analysis of the classical propositional matrix method
• scientific article; zbMATH DE number 3981151
• scientific article; zbMATH DE number 1189109

Cited in

(9)

• A uniform procedure for converting matrix proofs into sequent-style systems
• scientific article; zbMATH DE number 1612558 (Why is no real title available?)
• Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
• scientific article; zbMATH DE number 1748578 (Why is no real title available?)
• Converting non-classical matrix proofs into sequent-style systems
• A proof-theoretic analysis of the classical propositional matrix method
• Automated Reasoning with Analytic Tableaux and Related Methods
• Connection-driven inductive theorem proving
• Finding connections via satisfiability solving

This page was built for publication:

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