What is the inverse method?

DOI10.1007/BF00245018MaRDI QIDQ908895zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz

Publication date 1989

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00245018

zbMATH Keywords

resolutioninverse methodsuperclausestheorem proving in predicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• The inverse method
• Decidability of the class E by Maslov's inverse method
• The inverse method application for non-classical logics
• Maslov's inverse method and decidable classes
• scientific article; zbMATH DE number 3985190

Cited in

(12)

• Theorem prover for intuitionistic logic based on the inverse method
• Lemma matching for a PTTP-based top-down theorem prover
• To Vladimir Lifschitz on His 65th Birthday
• The inverse method
• Evidence algorithm and inference search in first-order logics
• Maslov's inverse method and decidable classes
• scientific article; zbMATH DE number 4047178 (Why is no real title available?)
• On linear logic planning and concurrency
• Why does the complete iterative inversion method work so well?
• What is invexity?
• Who Invented the Delta Method?
• Connection methods in linear logic and proof nets construction

This page was built for publication: What is the inverse method?

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