|
Mathematical logic, algebra and number theory
Proof search algorithm in pure logical framework
D. Yu. Vlasov Sobolev Institute of Mathematics, 4, Koptyuga ave., Novosibirsk, 630090, Russia
Keywords:
automated deduction, logical framework.
Received March 13, 2019, published July 20, 2019
Citation:
D. Yu. Vlasov, “Proof search algorithm in pure logical framework”, Sib. Èlektron. Mat. Izv., 17 (2020), 988–998
Linking options:
https://www.mathnet.ru/eng/semr1267 https://www.mathnet.ru/eng/semr/v17/p988
|
Statistics & downloads: |
Abstract page: | 147 | Full-text PDF : | 24 | References: | 21 |
|