scientific article; zbMATH DE number 549993

MaRDI QIDQ4287512zbMATH OpenFDO

Authors Uwe Petermann

Publication date 9 October 1994

zbMATH Keywords

connection methodopen first-order theoriesproof procedure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Theory reasoning in connection calculi
• Connection calculus theorem proving with multiple built-in theories
• scientific article; zbMATH DE number 64168
• scientific article; zbMATH DE number 861267
• A stepwise approach to linking theories
• scientific article; zbMATH DE number 1950264
• Connection-driven inductive theorem proving
• scientific article; zbMATH DE number 1748573
• A vision for automated deduction rooted in the connection method

Cited in

(5)

• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Building Structured Theories
• scientific article; zbMATH DE number 4164122 (Why is no real title available?)
• On two classical results in the first order logic
• Theory matrices (for modal logics) using alphabetical monotonicity

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 Q4287512)