Ю4 И255 Ивлев, Ю. В. Содержательная семантика модальной логики [Текст] : монография / Ю.В. Ивлев. - Москва : Изд-во МГУ, 1985. - 170 с. - Библиогр.: с. 166-168. - 0.75 р. Рубрики: Логика Аннотация: Она посвящена построению неформальных семантик модальной логики, в основе развиваемого автором оригинального подхода лежит различие фактических и логических алетических модальных понятий. При определении фактических модальных понятий применяется табличный метод, представляющий собой конкретизацию истинных таблиц классической пропозициональной логики за счет модификации значений "истина" и "ложь". Держатели документа: библиотека нтгспа Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |