On Different Concepts of Resolution

DOI10.1002/malq.19890350109zbMath0646.03011OpenAlexW1994828190MaRDI QIDQ3789526

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

liftingresolutiondeduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (6)

Using resolution for deciding solvable classes and building finite models ⋮ Formalization of the resolution calculus for first-order logic ⋮ Complexity of resolution proofs and function introduction ⋮ Semantic trees revisited: Some new completeness results ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Formalization of the Resolution Calculus for First-Order Logic

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