Johansson’s logic with Dummett’s axiom and its extensions - Conference attendances

Johansson’s logic with Dummett’s axiom and its extensions Conference attendances

Language

Русский

Participant type

Секционный

URL

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

Conference

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

Authors

ANISHCHENKO D. ¹ , Odintsov S ²

Affiliations

1	Novosibirsk State University
2	Sobolev Institute of Mathematics

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

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