Роутлей Р. Семантика следования / Роутлей Р., Мейер Р.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 363-421.Отраслевые рубрики: логика, философские науки Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность
|