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