|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Модельное множество для одной известной паралогикидоклад на конференции
- Автор: Шангин В.О.
- Конференция : Дни науки философского факультета – 2013
- Даты проведения конференции: 2013
- Тип доклада: не указан
- Докладчик: Шангин В.О.
- Место проведения: Философский факультет Киевского национального университета имени Тараса Шевченко, Киев, Украина, Ukraine
-
Аннотация доклада:
В докладе планируется обсудить построение модельного множества (множества Хинтикки) для параполной логики PComp, введенной А. Авроном [Avron, 1991], а также применение построенного модельного множества к проблематике (автоматического) поиска натурального вывода. Работа является продолжением серии статей, посвященных (автоматическому) поиску натурального вывода в классической и неклассической (в частности, временной) логиках, где метод построения модельных множеств применяется при доказательстве полноты алгоритмов [Bolotov, Grigoryev, Shangin, 2007], [Bolotov, Shangin, 2012].
- Добавил в систему: Шангин Василий Олегович