Просмотр коллекции по группе - По тематике LINDSTRÖM THEOREM
Отображение результатов 1 до 2 из 2
Дата публикации | Название | Авторы |
---|---|---|
2020 | A Lindström theorem in many-valued modal logic over a finite MTL-chain | Badia, G.; Olkhovikov, G. |
2022 | Maximality of bi-intuitionistic propositional logic | Olkhovikov, G.; Badia, G. |