|
alex_dorin |
О сложности логического вывода в генценовских системах  12.06.2014, 10:05 |
|
08/03/11
273
|
|
Примем за сложность вывода секвенции количество применений правил в генценовсклй системе, необходимое для закрытия секвенции.
Вопрос : происходит ли уменьшение сложности вывода в процессе поиска доказательства обратным методом в генценоских системах без структурных правил вывода для логики первого порядка ?
C Уважением
А. Дорин
|
|
|
|
 |
  |
Страница 1 из 1
|
[ 1 сообщение ] |
|
Модераторы: Модераторы Математики, Супермодераторы
