Исчисление монотонностей и некоторые проблемы логического вывода

Даниил Борисович Тискин

Аннотация


В статье предложен обзор исследований в области естественной логики (Natural Logic), представленной исчислением  монотонностей — системой логического вывода  для естественного языка, приспособленной к синтаксическому анализу предложений на основе категориальных грамматик. Предлагаются применение правил вывода исчисления монотонностей к логике высказываний и модификация его аппарата для применения к интенсиональным
контекстам.

Ключевые слова


естественная логика; исчисление монотонностей; естственноязыковые рассуждения; логика высказываний; интенсиональные контексты

Полный текст:

PDF

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2015 Даниил Борисович Тискин

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.