Целищев, В. В. Является ли теоретико-игровая семантика "естественной" для дружественно-независимой логики? [Текст] / В. В. Целищев // Философия науки. - 2017. - № 3. - С. 31-45. - Библиогр.: с. 43-45 (21 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): Тарского семантика -- дружественно-независимая логика -- композициональность -- логика первого порядка -- семантика Тарского -- сколемизация -- теоретико-игровая семантика Аннотация: Рассматривается вопрос о том, в какой степени теоретико-игровая семантика естественна для дружественно-независимой логики. Показано, что теоретико-игровая семантика является альтернативной семантикой для логики первого порядка семантике Тарского. Нет сведений об экземплярах (Источник в БД не найден) |