scientific article; zbMATH DE number 1552527

MaRDI QIDQ4524787zbMATH OpenFDO

Authors Peter Baumgartner, Uwe Petermann

Publication date 29 July 2001

zbMATH Keywords

automated reasoningconstruction of theory reasoning calculifirst-order axiomatizable theorieshybrid reasoningpartial theory reasoningtotal theory reasoning

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Theorem proving with built-in hybrid theories
• scientific article; zbMATH DE number 1735628
• Connection calculus theorem proving with multiple built-in theories
• Theory reasoning in connection calculi
• scientific article; zbMATH DE number 1330425

Cited in

(9)

• Theory reasoning in connection calculi
• The logic of theory assessment
• Theorem proving with built-in hybrid theories
• Combining semantical and syntactical theory reasoning
• scientific article; zbMATH DE number 2050352 (Why is no real title available?)
• Incremental theory reasoning methods for semantic tableaux
• Theory Instantiation
• Connection calculus theorem proving with multiple built-in theories
• Theory exploration powered by deductive synthesis

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