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