Calculus of standard quantor formulas

MaRDI QIDQ1363870zbMATH OpenFDO

Authors S. N. Vasil'ev, A. K. Zherlov

Publication date 5 November 1997

Published in Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

automatic deductionmethod of comparisonstandard quantifiers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Metamathematics of constructive systems (03F50)

Recommendations

• M-calculus -- a sequent method for automatic theorem proving
• scientific article; zbMATH DE number 4070869
• scientific article; zbMATH DE number 432735
• scientific article; zbMATH DE number 1086654

Cited in

(3)

• scientific article; zbMATH DE number 432735 (Why is no real title available?)
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Exercises in Quantifier Manipulation

This page was built for publication: Calculus of standard quantor formulas

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