Decidability of the class E by Maslov's inverse method

DOI10.1007/978-3-642-15025-8_26MaRDI QIDQ3586019zbMATHOpenAlexFDO

Authors G. E. Mints

Publication date 3 September 2010

Published in Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15025-8_26

zbMATH Keywords

automated deductioninverse methoddecidable classes

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Maslov's inverse method and decidable classes
• Two decidable classes of formulas of the modal logic S5
• scientific article; zbMATH DE number 4170865
• Random models and the Maslov class
• The inverse method application for non-classical logics

Cites work

• scientific article; zbMATH DE number 15881 (Why is no real title available?)
• scientific article; zbMATH DE number 510785 (Why is no real title available?)
• scientific article; zbMATH DE number 3274738 (Why is no real title available?)
• scientific article; zbMATH DE number 3361272 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Decidable classes reducing to a one-quantifier class
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• Modal languages and bounded fragments of predicate logic
• Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
• The inverse method

Cited in

(6)

• scientific article; zbMATH DE number 3985190 (Why is no real title available?)
• Maslov's inverse method and decidable classes
• Two decidable classes of formulas of the modal logic S5
• scientific article; zbMATH DE number 4170865 (Why is no real title available?)
• What is the inverse method?
• Theorem prover for intuitionistic logic based on the inverse method

This page was built for publication: Decidability of the class E by Maslov's inverse method

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