Johansson’s logic with Dummett’s axiom and its extensions Conference Abstracts
| Conference |
Мальцевские чтения : Международная конференция 13-17 Nov 2023 , Новосибирск |
||||
|---|---|---|---|---|---|
| Source | Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г. Compilation, Новосибирск.2023. 208 c. |
||||
| Output data | Year: 2023, Pages: 111 Pages count : 1 | ||||
| Tags | минимальная логика, j-алгебра, решетка расширений | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
Abstract:
В докладе описано строение решетки расширение логики JC, логики Йоханссона рассширенной за счет добавления аксиомы линейности Даммета. Доказано, что каждое расширение JC конечно аксиоматизируемо и разрешимо, а также, что у логики JC есть в точности два предтабличных расширения.
Cite:
ANISHCHENKO D.
, Odintsov S.P.
Johansson’s logic with Dummett’s axiom and its extensions
In compilation Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.111. РИНЦ
Johansson’s logic with Dummett’s axiom and its extensions
In compilation Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.111. РИНЦ
Identifiers:
| Elibrary: | 58093821 |
Citing:
Пока нет цитирований