Доклад Я. И. Петрухина «Обобщение корреспондентского анализа Коя и Тамминги для трехзначных логик»
Мероприятие завершено
21 ноября в 16.40 в ауд. Б-513 состоится заседание исследовательского семинара «From the Logical Point of View».
Ярослав Игоревич Петрухин
(МГУ)
выступит с докладом:
«Обобщение корреспондентского анализа Коя и Тамминги для трехзначных логик»
Аннотация доклада:
"Корреспондентский анализ — это разработанный Коем и Таммингой универсальный метод, позволяющий получать непротиворечивые и полные натуральные исчисления с независимыми правилами вывода для табличных расширений функционально неполных многозначных логик. Первоначально этот метод был применен к логике парадокса LP Приста. В результате получились натуральные исчисления для всех логик, являющихся расширениями базовых трехзначных связок LP (конъюнкция, дизъюнкция, отрицание) произвольными одно- и двухместными операторами. Позже Тамминга распространил это результат на сильную логику Клини K3.
В докладе мы представим обобщение этих результатов для случая негативных фрагментов LP и K3. Таким образом, корреспондентский анализ работает для логик, имеющих те же отрицания, что и LP и K3, но или имеющих другие конъюнкции и дизъюнкции, или не имеющих их вовсе. Кроме того, мы покажем, что корреспондентский анализ для негативных фрагментов K3 и LP подходит без каких бы то ни было изменений для негативных фрагментов логики Гейтинга G3 и двойственной ей логики DG3 (имеющих не такие определения отрицаний, как K3 и LP). "
В докладе мы представим обобщение этих результатов для случая негативных фрагментов LP и K3. Таким образом, корреспондентский анализ работает для логик, имеющих те же отрицания, что и LP и K3, но или имеющих другие конъюнкции и дизъюнкции, или не имеющих их вовсе. Кроме того, мы покажем, что корреспондентский анализ для негативных фрагментов K3 и LP подходит без каких бы то ни было изменений для негативных фрагментов логики Гейтинга G3 и двойственной ей логики DG3 (имеющих не такие определения отрицаний, как K3 и LP). "
Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR
Дата
21 ноября, 2018 г. 16:40
Адрес
Б-513