scientific article; zbMATH DE number 3988746

MaRDI QIDQ3751043zbMATH OpenFDO

Authors Neil V. Murray, Erik Rosenthal

Publication date 1985

zbMATH Keywords

automated deductiondeduction systemrule of inferencequantifier-free predicate calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35)

Recommendations

• Inference with path resolution and semantic graphs
• Dissolution
• scientific article; zbMATH DE number 1954131
• scientific article; zbMATH DE number 3986668
• scientific article; zbMATH DE number 15495

Cited in

(12)

• On the relative merits of path dissolution and the method of analytic tableaux
• scientific article; zbMATH DE number 4003561 (Why is no real title available?)
• A formally proved, complete algorithm for path resolution with symbolic links
• Dissolution
• Automated Reasoning
• scientific article; zbMATH DE number 4164175 (Why is no real title available?)
• scientific article; zbMATH DE number 4072433 (Why is no real title available?)
• Inference with path resolution and semantic graphs
• scientific article; zbMATH DE number 15495 (Why is no real title available?)
• scientific article; zbMATH DE number 3940761 (Why is no real title available?)
• scientific article; zbMATH DE number 3990906 (Why is no real title available?)
• scientific article; zbMATH DE number 1954131 (Why is no real title available?)

This page was built for publication:

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