On Different Concepts of Resolution

DOI10.1002/MALQ.19890350109MaRDI QIDQ3789526zbMATH OpenOpenAlexFDO

Authors Alexander Leitsch

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350109

zbMATH Keywords

resolutionliftingdeduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4128784
• Resolution theorem proving
• scientific article; zbMATH DE number 3904558
• Publication:3487317
• scientific article; zbMATH DE number 3871320

Cited in

(13)

• On Residuation
• A classification of non-liftable orders for resolution
• scientific article; zbMATH DE number 2094813 (Why is no real title available?)
• Semantic trees revisited: some new completeness results
• scientific article; zbMATH DE number 4128784 (Why is no real title available?)
• Formalization of the resolution calculus for first-order logic
• Complexity of resolution proofs and function introduction
• scientific article; zbMATH DE number 1762830 (Why is no real title available?)
• Formalization of the Resolution Calculus for First-Order Logic
• Using resolution for deciding solvable classes and building finite models
• scientific article; zbMATH DE number 219937 (Why is no real title available?)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• scientific article; zbMATH DE number 4061192 (Why is no real title available?)

This page was built for publication: On Different Concepts of Resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789526)