Game theoretical semantic for relevant logicстатья

Статья опубликована в журнале из перечня ВАК

Работа с статьей

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст LI21_2_Vasukov.pdf 308,3 КБ 14 августа 2016 [markin_vladimir]

[1] Васюков В. Л. Game theoretical semantic for relevant logic // Логические исследования. — 2015. — Vol. 21, no. 2. — P. 42–52. In 1979 D.E. Over proposed game theoretical semantics for first-degree entailment formulated by Anderson and Belnap. In order to extend this approach to include other systems of relevant logc (e.g., R) we have two promoting facts. Firstly, there is Routley-Meyer’s situational semantic for system R of relevant logic. Secondly, this semantics shows some resemblance with Wójcicki’s situational semantic of non-fregean logic for which the situational game semantics was developed by author exploiting essentially the notion of non-fregean games. In the paper an attempt is done to give a partial account of these results and some conception of situational games developed which laid down into foundation of the game theoretical semantics of relevant logic R.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть