Johansson’s logic with Dummett’s axiom and its extensions Тезисы доклада
| Конференция |
Мальцевские чтения : Международная конференция 13-17 нояб. 2023 , Новосибирск |
||||
|---|---|---|---|---|---|
| Сборник | Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г. Сборник, Новосибирск.2023. 208 c. |
||||
| Вых. Данные | Год: 2023, Страницы: 111 Страниц : 1 | ||||
| Ключевые слова | минимальная логика, j-алгебра, решетка расширений | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
В докладе описано строение решетки расширение логики JC, логики Йоханссона рассширенной за счет добавления аксиомы линейности Даммета. Доказано, что каждое расширение JC конечно аксиоматизируемо и разрешимо, а также, что у логики JC есть в точности два предтабличных расширения.
Библиографическая ссылка:
ANISHCHENKO D.
, Odintsov S.P.
Johansson’s logic with Dummett’s axiom and its extensions
В сборнике Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.111. РИНЦ
Johansson’s logic with Dummett’s axiom and its extensions
В сборнике Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.111. РИНЦ
Идентификаторы БД:
| РИНЦ: | 58093821 |
Цитирование в БД:
Пока нет цитирований