|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Normalisation for Some Infectious Logics and Their Relativesстатья
- Автор: Petrukhin Yaroslav
- Сборник: In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022
- Серия: Electronic Proceedings in Theoretical Computer Science
- Том: 358
- Год издания: 2022
- Первая страница: 12
- Последняя страница: 24
- DOI: 10.4204/EPTCS.358.2
- Аннотация: We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natural deduction systems for them (or present such systems from scratch for the case of new logics) in way such that the proof of normalisation theorem becomes possible for these logics. We present such a proof and establish the negation subformula property for the logics in question.
- Добавил в систему: Петрухин Ярослав Игоревич