| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Роутлей, Р.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13962&idb=ec_110
Подробнее
Авторы: Роутлей Р., Мейер Р.
Отраслевые рубрики: логика, философские науки
Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21