НГУ
http://forum.nsu.ru/

Помогите понять содержательный смысл управляемых подстановок
http://forum.nsu.ru/viewtopic.php?f=24&t=23998
Страница 1 из 1

Автор:  alex_dorin [ Вт сен 17, 2013 2:33 pm ]
Заголовок сообщения:  Помогите понять содержательный смысл управляемых подстановок

Здравствуйте !

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

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

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

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/