\(M\)-calculus -- a sequent method for automatic theorem proving

DOI10.1007/BF01130096zbMath0835.68108MaRDI QIDQ1899898

Andreĭ Valer'evich Mantsivoda

Publication date: 2 November 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

sequent calculus\(M\)-calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Non-resolution theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(M\)-calculus -- a sequent method for automatic theorem proving