Abstract
Для некоторых семейств формул исследованы длины как линейных, так и древовидных выводов в ряде систем исчисления высказываний: в разновидностях секвенциальных систем (с кванторами, с правилом подстановки, с правилом сечения, без правила сечения, монотонных), а также в системе обобщенных расщеплений. Сравнение полученных результатов с ранее полученными оценками для шагов тех же разновидностей выводов тех же формул и в тех же системах указывает на определенную значимость именно длины вывода как основной сложностной характеристики выводов.
Publisher
National Academy of Sciences of the Republic of Armenia
Reference5 articles.
1. Cook S. A., Reckhow A. R. – Symbolic Logic. 1979. V. 44. P. 36-50.
2. Carbone А. – Studia Logica. 2000. V. 64. Р. 315-321.
3. Тамазян Акоп A., Чубарян Анаит A. – Математические вопросы кибернетики и вычислительной техники. 2020. Т. 54. Р. 138-146.
4. Чубарян Ан. А., Чубарян Арм. А. – Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, НАУ, часть 10, 2(7). 2015. С.11-14.
5. Цейтин Г., Чубарян Ан. – ДАН Арм. ССР. 1972. Т. 55. №1. С. 10-12.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献