scientific article; zbMATH DE number 3981151

MaRDI QIDQ3745826zbMATH OpenFDO

Authors V. K. Kabulov

Publication date 1986

zbMATH Keywords

matrix reductionsrefutational theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• A proof-theoretic analysis of the classical propositional matrix method
• scientific article; zbMATH DE number 4155933
• scientific article; zbMATH DE number 63752
• scientific article; zbMATH DE number 3870638
• scientific article; zbMATH DE number 4145871

Cited in

(17)

• Algorithms for finding matrix models of propositional calculi
• The classification of propositional calculi
• Voting theory in the Lean theorem prover
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Algorithm for PP-reduction a PC formula to the clause form
• scientific article; zbMATH DE number 3870638 (Why is no real title available?)
• scientific article; zbMATH DE number 4145871 (Why is no real title available?)
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• scientific article; zbMATH DE number 4045219 (Why is no real title available?)
• scientific article; zbMATH DE number 4070869 (Why is no real title available?)
• scientific article; zbMATH DE number 63752 (Why is no real title available?)
• scientific article; zbMATH DE number 2000433 (Why is no real title available?)
• scientific article; zbMATH DE number 1748580 (Why is no real title available?)
• An evolutionary algorithm for theorem proving in propositional logic
• A proof-theoretic analysis of the classical propositional matrix method
• Improved Propositional Extension Rule
• Propositional proof skeletons

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