Specification methods and partial construction of theory by computer

DOI10.1007/BF01069168zbMath0541.68068OpenAlexW2094967240MaRDI QIDQ3327747

Vladimir Ivanovich Mart'yanov

Publication date: 1983

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01069168

zbMATH Keywords

restricted predicate calculuslife book programsnormal formula transformationsyntactic transformation rules for formulas

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Non-resolution theorem proving
• Automatic theorem proving in set theory
• Towards the automation of set theory and its logic
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Unnamed Item

This page was built for publication: Specification methods and partial construction of theory by computer