What is the inverse method?

DOI10.1007/BF00245018zbMath0694.03010OpenAlexW2055466270MaRDI QIDQ908895

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

inverse methodresolutionsuperclausestheorem proving in predicate calculus

Mathematics Subject Classification ID

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

Related Items (6)

Evidence algorithm and inference search in first-order logics ⋮ To Vladimir Lifschitz on His 65th Birthday ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ Lemma matching for a PTTP-based top-down theorem prover ⋮ Connection methods in linear logic and proof nets construction ⋮ On linear logic planning and concurrency

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