Improved Propositional Extension Rule

DOI10.1007/11795131_86zbMath1196.03014OpenAlexW1509773422MaRDI QIDQ5757963

Shuai Lu, Minghao Yin, Wei Meng, Jigui Sun, Xia Wu, Ying Li

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)

This page was built for publication: Improved Propositional Extension Rule