Calculus of standard quantor formulas

zbMATH Open0874.03013MaRDI QIDQ1363870FDOQ1363870

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

Publication date: 5 November 1997

Published in: Doklady Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

automatic deductionmethod of comparisonstandard quantifiers

Mathematics Subject Classification ID

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

Cited In (3)

• Exercises in Quantifier Manipulation
• Title not available (Why is that?)
• A method for the synthesis of deducibility conditions for Horn and some other formulas

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)