A formal grammatical model of the resolution method for the propositional calculus

zbMath1038.03518MaRDI QIDQ1422809

I. N. Anisimova, I. L. Bratchikov

Publication date: 26 February 2004

Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

zbMATH Keywords

Horn clausesclassical propositional logicresolution method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

This page was built for publication: A formal grammatical model of the resolution method for the propositional calculus