scientific article; zbMATH DE number 549996

MaRDI QIDQ4287516zbMATH OpenFDO

Authors Zbigniew Stachniak

Publication date 22 June 1994

zbMATH Keywords

automated generation of resolution based proof systemsfunctionally completeminimization algorithmsnon-classical logicspropositional logicsresolution logicsresolution principleŁukasiewicz finite- valued logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 4182873
• Publication:3485886
• Resolution approximation of first-order logics
• scientific article; zbMATH DE number 1324434

Cited in

(5)

• Resolution approximation of first-order logics
• Resolution and model building in the infinite-valued calculus of Łukasiewicz
• scientific article; zbMATH DE number 475244 (Why is no real title available?)
• An Introduction to Lower Bounds on Resolution Proof Systems
• scientific article; zbMATH DE number 4182873 (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 Q4287516)