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