Improved Propositional Extension Rule

DOI10.1007/11795131_86zbMATH Open1196.03014OpenAlexW1509773422MaRDI QIDQ5757963FDOQ5757963

Authors: Xia Wu, Jigui Sun, Shuai Lü, Ying Li, Wei Meng, Minghao Yin 

Publication date: 7 September 2007

Published in: Rough Sets and Knowledge Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11795131_86

Recommendations

• Extension rule algorithms based on IMOM and IBOHM heuristics strategies
• Theorem proving based on the extension rule
• Theorem proving decomposition algorithm based on semi-extension rule
• scientific article; zbMATH DE number 3981151
• scientific article; zbMATH DE number 1113998

zbMATH Keywords

theorem provingpropositional logicreduced ruleExtension rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Theorem proving based on the extension rule
• Theorem proving decomposition algorithm based on semi-extension rule
• Extension rule algorithms based on IMOM and IBOHM heuristics strategies

This page was built for publication: Improved Propositional Extension Rule

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