Выбор БД
Тип поиска
Вернуться на старый сайт
Сортировать по:
1. Статья (мон.)
bookCover
Полочный шифр: 87.452я43 - С 30
Роутлей, Р.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Подробнее
Авторы: Роутлей Р., Мейер Р.
Отраслевые рубрики: логика, философские науки
Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21