On Different Concepts of Resolution

DOI10.1002/MALQ.19890350109zbMATH Open0646.03011OpenAlexW1994828190MaRDI QIDQ3789526FDOQ3789526

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

Recommendations

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

zbMATH Keywords

resolutionliftingdeduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (13)

• On Residuation
• A classification of non-liftable orders for resolution
• Title not available (Why is that?)
• Semantic trees revisited: some new completeness results
• Title not available (Why is that?)
• Formalization of the resolution calculus for first-order logic
• Complexity of resolution proofs and function introduction
• Title not available (Why is that?)
• Formalization of the Resolution Calculus for First-Order Logic
• Using resolution for deciding solvable classes and building finite models
• Title not available (Why is that?)
• 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: 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)