RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
14 ноября 2017 г. 18:30, г. Москва, ГЗ МГУ, ауд. 16-04
 


Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации

С. Л. Кузнецов

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Количество просмотров:
Эта страница:30

Аннотация: У. Крейг в 1953 г. доказал, что для классической логики рекурсивная перечислимость теории (дедуктивно замкнутого множества формул) равносильна возможности задать эту теорию алгоритмически разрешимым множеством аксиом. Эта теорема Крейга верна также для многих неклассических логик: достаточно, чтобы для каждой формулы существовала эквивалентная ей в данной логике формула сколь угодно большого размера. В докладе будет предъявлен нетривиальный пример логики, для которой теорема Крейга неверна — а именно, исчисление Ламбека с бесконечным множеством переменных. Будет также показано, что теорема Крейга сохраняет силу для фрагментов исчисления Ламбека с конечными множествами переменных, а также для варианта исчисления Ламбека, допускающего пустые левые части секвенций.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018