Improved Propositional Extension Rule

DOI10.1007/11795131_86MaRDI QIDQ5757963zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

theorem provingpropositional logicreduced ruleExtension rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

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)