scientific article; zbMATH DE number 475244

MaRDI QIDQ4273485zbMATH OpenFDO

Authors Zbigniew Stachniak

Publication date 13 January 1994

zbMATH Keywords

closure operatorsefficiencyfinite universal algebra augmented with an inference operatorpropositional logicpropositional resolution proof systemsrefutational approximationstrongly finite logicsstructural logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

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

Cited in

(14)

• Unsolvable systems of equations and proof complexity
• A resolution framework for finitely-valued first-order logics
• Resolution approximation of first-order logics
• Suprema of open and closed formulas and their application to resolution
• scientific article; zbMATH DE number 1615240 (Why is no real title available?)
• scientific article; zbMATH DE number 4157911 (Why is no real title available?)
• String rewriting and proof complexity: an interpretation of resolution
• scientific article; zbMATH DE number 3941499 (Why is no real title available?)
• scientific article; zbMATH DE number 849903 (Why is no real title available?)
• scientific article; zbMATH DE number 886137 (Why is no real title available?)
• scientific article; zbMATH DE number 4182873 (Why is no real title available?)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• An essay on resolution logics

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