Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/lifr/clkr2012/abskrupski.pdf Дата изменения: Wed May 23 17:44:54 2012 Дата индексирования: Tue Oct 2 13:01:31 2012 Кодировка: Windows-1251 Поисковые слова: http astrokuban.info astrokuban

О семантике рефлексивной комбинаторной логики
В.Н. Крупский

Семиотический треугольник, или треугольник Фреге: имя денотат концепт. Применительно к комбинаторным термам сам терм t является именем, его значение t денотатом, а описание (программа) !t процесса вычисления значения концептом. Теоретико множественная интерпретация типовой комбинаторной логики Карри C L задает соответствие между именами и значениями. Мы показываем, что рефлексивная комбинаторная логика RC L (Артемов, 2004) добавляет к этому рассмотрению концепты. Формализация указанного замечания приводит к построению теоретикомножественной интерпретации термов рефлексивной комбинаторной логики, согласованной с естественной системой редукций. В докладе предполагается обсудить детали конструкции.

1