scientific article; zbMATH DE number 4145871

MaRDI QIDQ3476786zbMATH OpenFDO

Authors V. K. Kabulov

Publication date 1988

zbMATH Keywords

proof treesheuristic decision procedurepropositional formulas in implicant form

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3981151
• \textsc{Minlog}: a minimal logic theorem prover
• A decision procedure for propositional N-Prolog
• Some results and experiments in programming techniques for propositional logic
• scientific article; zbMATH DE number 4155933

Cited in

(9)

• Propositional proof skeletons
• scientific article; zbMATH DE number 2099381 (Why is no real title available?)
• scientific article; zbMATH DE number 4094867 (Why is no real title available?)
• An algorithm of classification of unranked propositional logic formulas
• Reasoning processes in propositional logic
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• Proof finding algorithms for implicational logics
• scientific article; zbMATH DE number 3981151 (Why is no real title available?)
• scientific article; zbMATH DE number 4039849 (Why is no real title available?)

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