scientific article; zbMATH DE number 886137
From MaRDI portal
Publication:4881605
algebraic theory of resolution proof systemscumulative nonmonotonic inference systemsefficient implementationlogical matricesnonclassical reasoningresolution algebrasresolution logicresolution-based automated reasoningspeed-up techniques
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Applications of universal algebra in computer science (08A70) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Recommendations
Cited in
(16)- A resolution framework for finitely-valued first-order logics
- scientific article; zbMATH DE number 1615240 (Why is no real title available?)
- Understanding Resolution Proofs through Herbrand’s Theorem
- Closures in Binary Partial Algebras
- Generic inference. A unifying theory for automated reasoning
- scientific article; zbMATH DE number 475244 (Why is no real title available?)
- scientific article; zbMATH DE number 517062 (Why is no real title available?)
- scientific article; zbMATH DE number 726582 (Why is no real title available?)
- scientific article; zbMATH DE number 976360 (Why is no real title available?)
- An Introduction to Lower Bounds on Resolution Proof Systems
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- \(\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)\)
- A first polynomial non-clausal class in many-valued logic
- An essay on resolution logics
- Filter-based resolution principle for lattice-valued propositional logic LP(X)
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 Q4881605)
