scientific article; zbMATH DE number 4182873

MaRDI QIDQ5748907zbMATH OpenFDO

Authors Zbigniew Stachniak

Publication date 1991

zbMATH Keywords

minimization algorithm for SF logicsproof systemsresolution

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 549996
• An essay on resolution logics
• Publication:3485886
• scientific article; zbMATH DE number 475244
• Resolution approximation of first-order logics

Cited in

(8)

• A resolution framework for finitely-valued first-order logics
• Resolution approximation of first-order logics
• Minimal systems
• scientific article; zbMATH DE number 4157911 (Why is no real title available?)
• scientific article; zbMATH DE number 549996 (Why is no real title available?)
• An Introduction to Lower Bounds on Resolution Proof Systems
• An essay on resolution logics
• Proof optimization for partial redundancy elimination

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