|
Записки научных семинаров ЛОМИ, 1981, том 105, страницы 24–44
(Mi znsl3397)
|
|
|
|
Эта публикация цитируется в 14 научных статьях (всего в 14 статьях)
Две системы доказательства тавтологичности, основанные на методе расщеплений
Е. Я. Данцин
Аннотация:
Рассматриваются два исчисления, где выводимы все пропозициональные тавтологии и только они. Несмотря на простую структуру (каждое из исчислений имеет одну аксиому и одно правило вывода) можно
получить линейные оценки длины вывода в них для различных часто встречающихся классов формул, тавтологичность которых распознается в полиномиальное время. Изучаются характеристики формул,
влияющие на длину вывода в этих системах. В частности, одной из таких характеристик является степень симметрии, которая определяется автоморфизмами формулы. Библ. – 6 назв.
Образец цитирования:
Е. Я. Данцин, “Две системы доказательства тавтологичности, основанные на методе расщеплений”, Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, Изд-во «Наука», Ленинград. отд., Л., 1981, 24–44; J. Soviet Math., 22:3 (1983), 1293–1305
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3397 https://www.mathnet.ru/rus/znsl/v105/p24
|
Статистика просмотров: |
Страница аннотации: | 192 | PDF полного текста: | 131 |
|