Calculus of standard quantor formulas

zbMath0874.03013MaRDI QIDQ1363870

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

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)

Related Items (1)

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