Maslov's inverse method and decidable classes

DOI10.1016/0168-0072(89)90053-5MaRDI QIDQ583187zbMATH OpenOpenAlexFDO

Authors Nail Zamov

Publication date 1989

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(89)90053-5

zbMATH Keywords

resolutionMaslov's inverse methodunificationdecidable classesdeducibilityextension of the clash rule

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Decidability of the class E by Maslov's inverse method
• Two decidable classes of formulas of the modal logic S5
• scientific article; zbMATH DE number 1341614
• What is the inverse method?
• scientific article; zbMATH DE number 3985190

Cites work

• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• scientific article; zbMATH DE number 3236051 (Why is no real title available?)
• scientific article; zbMATH DE number 3272723 (Why is no real title available?)
• scientific article; zbMATH DE number 3366544 (Why is no real title available?)
• On a bound for the complexity of terms in the resolution method
• Resolution Strategies as Decision Procedures
• The Specialization of Programs by Theorem Proving
• The inverse method for establishing deducibility for logical calculi

Cited in

(7)

• Condensed detachment is complete for relevance logic: A computer-aided proof
• Two decidable classes of formulas of the modal logic S5
• Decidable fragments of first-order modal logics
• What is the inverse method?
• Using resolution for deciding solvable classes and building finite models
• History and prospects for first-order automated deduction
• Decidability of the class E by Maslov's inverse method

This page was built for publication: Maslov's inverse method and decidable classes

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