Proof search algorithm in pure logical framework

DOI10.33048/semi.2020.17.073zbMath1451.68327arXiv1710.06181OpenAlexW3117991794MaRDI QIDQ779163

Dmitriĭ Yur'evich Vlasov

Publication date: 21 July 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.06181

zbMATH Keywords

logical frameworkautomated deduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Metamath
• Russell
• GitHub

Cites Work

• A Mechanical Proof Procedure and its Realization in an Electronic Computer
• Formal Reductions of the General Combinatorial Decision Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof search algorithm in pure logical framework