scientific article; zbMATH DE number 886137
zbMATH Open0849.03010MaRDI QIDQ4881605FDOQ4881605
Authors: Zbigniew Stachniak 
Publication date: 10 June 1996
Title of this publication is not available (Why is that?)
Recommendations
speed-up techniquesefficient implementationlogical matricesresolution logicresolution-based automated reasoningresolution algebrasalgebraic theory of resolution proof systemscumulative nonmonotonic inference systemsnonclassical reasoning
Research exposition (monographs, survey articles) pertaining to computer science (68-02) 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)
Cited In (15)
- An essay on resolution logics
- Understanding Resolution Proofs through Herbrand’s Theorem
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- An Introduction to Lower Bounds on Resolution Proof Systems
- Title not available (Why is that?)
- Generic inference. A unifying theory for automated reasoning
- Title not available (Why is that?)
- A resolution framework for finitely-valued first-order logics
- Closures in Binary Partial Algebras
- Title not available (Why is that?)
- A first polynomial non-clausal class in many-valued logic
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Title not available (Why is that?)
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)
