|
|||||
|
|
Classification of derivable propositional formulas |
|
| Authors: | A S Anikeev |
| Institution: | (1) M. V. Lomonosov Moscow State University, USSR |
| Abstract: | This article considers questions connected with the derivability of propositional formulas under restrictions on the length of the derivation. A classification is proposed for formulas with minimum derivation length.Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 165–174, February, 1972. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |