scientific article; zbMATH DE number 4157911

MaRDI QIDQ3485886zbMATH OpenFDO

Authors Zbigniew Stachniak, Peter W. O'Hearn

Publication date 1990

zbMATH Keywords

resolutionstrongly finite logiccomplete nonclausal resolution proof system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4182873
• scientific article; zbMATH DE number 475244
• An essay on resolution logics
• scientific article; zbMATH DE number 4027425
• Resolution approximation of first-order logics

Cited in

(12)

• scientific article; zbMATH DE number 4182873 (Why is no real title available?)
• scientific article; zbMATH DE number 1090101 (Why is no real title available?)
• scientific article; zbMATH DE number 5050044 (Why is no real title available?)
• scientific article; zbMATH DE number 4160687 (Why is no real title available?)
• SLT-resolution for the well-founded semantics
• A resolution framework for finitely-valued first-order logics
• An essay on resolution logics
• Using resolution for deciding solvable classes and building finite models
• scientific article; zbMATH DE number 3941499 (Why is no real title available?)
• scientific article; zbMATH DE number 683345 (Why is no real title available?)
• Resolution approximation of first-order logics
• scientific article; zbMATH DE number 475244 (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 Q3485886)