НГУ

Форумы НГУ
Текущее время: Пн ноя 20, 2017 12:56 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
СообщениеДобавлено: Вт сен 17, 2013 2:33 pm 
Не в сети
Частый гость

Зарегистрирован: Вс май 21, 2006 2:30 am
Сообщения: 41
Откуда: Дорин Александр
Здравствуйте !

В работе ADMISSIBLE SUBSTITUTIONS IN SEQUENT CALCULI
описана модификация разрешающей процедуры С. Кангера для логики первого порядка

http://www.foibg.com/ijita/vol10/ijita10-4-p05.pdf

Пожалуйста, помогите разобраться в содержательном смысле получения управляемых подстановок.

C уважением,
Александр Дорин
SKYPE ALEXANDER_A_DORIN
ps При необходимости могу выслать работу С. Кангера


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB