Johansson’s logic with Dummett’s axiom and its extensions - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Johansson’s logic with Dummett’s axiom and its extensions Доклады на конференциях

Язык

Русский

Тип доклада

Секционный

Url доклада

https://docs.google.com/document/d/1w0T5Picxm9fehBem8fG5qzYhP9GLXWdy/edit

Конференция

Мальцевские чтения : Международная конференция
13-17 нояб. 2023 , Новосибирск

Авторы

ANISHCHENKO D. ¹ , Odintsov S ²

Организации

1	Новосибирский государственный университет
2	Институт математики им. С.Л. Соболева СО РАН

В докладе описано строение решетки расширение логики JC, логики Йоханссона рассширенной за счет добавления аксиомы линейности Даммета. Доказано, что каждое расширение JC конечно аксиоматизируемо и разрешимо, а также, что у логики JC есть в точности два предтабличных расширения.

ANISHCHENKO D. , Odintsov S.
Johansson’s logic with Dummett’s axiom and its extensions
Мальцевские чтения : Международная конференция 13-17 нояб. 2023