scientific article; zbMATH DE number 4145871

zbMATH Open0699.03006MaRDI QIDQ3476786FDOQ3476786

Authors: V. K. Kabulov 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Propositional proof skeletons
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algorithm of classification of unranked propositional logic formulas
• Reasoning processes in propositional logic
• Title not available (Why is that?)
• Proof finding algorithms for implicational logics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)