scientific article; zbMATH DE number 517000

MaRDI QIDQ4282522zbMATH OpenFDO

Authors Klaus Mayr

Publication date 17 March 1994

zbMATH Keywords

cut eliminationmodel elimination calculusreversibility of subproofs

Mathematics Subject Classification ID

Recommendations

• Model elimination without contrapositives
• scientific article; zbMATH DE number 1330425
• Optimizing proof search in model elimination
• Publication:4934523
• A sequent-style model elimination strategy and a positive refinement

Cited in

(16)

• Controlled integration of the cut rule into connection tableau calculi
• A disjunctive positive refinement of model elimination and its application to subsumption deletion
• Computing answers with model elimination
• Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model.
• Eliminating models during model elimination
• A theoretical note on the number of free parameters in the elimination-by-aspects model
• A sequent-style model elimination strategy and a positive refinement
• Model elimination and connection tableau procedures
• scientific article; zbMATH DE number 1330425 (Why is no real title available?)
• Optimizing proof search in model elimination
• Semantic trees revisited: some new completeness results
• scientific article; zbMATH DE number 1929148 (Why is no real title available?)
• An Implementation of the Model Elimination Proof Procedure
• scientific article; zbMATH DE number 1390242 (Why is no real title available?)
• On linear resolution
• Model elimination without contrapositives

Describes a project that uses

Uses Software

• SETHEO

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