Теоретико-множественная семантика одной системы "обыденной логики"
Дата
1987
Назва журналу
Номер ISSN
Назва тому
Видавець
Москва : Издательство "Наука", ГРВЛ
Анотація
Побудовано формальну семантику для обчислення повсякденної логіки, побудованої Ю.І. Левіним.
Опис
Ключові слова
формальна семантика, MATHEMATICS, обчислення, предикат, модель
Бібліографічний опис
Калюжный, Владимир Николаевич. Теоретико-множественная семантика одной системы "обыденной логики" / В.Н. Калюжный // Пропозициональные предикаты в логическом и лингвистическом аспекте : тезисы докладов рабочего совещания / Институт языкознания АН СССР, Проблемная группа "Логический анализ естественного языка". – Москва : Наука, 1987. – С. 53–56.