|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Nelsonian counterparts of Visser’s logicsстатья
Статья опубликована в высокорейтинговом журнале
Статья опубликована в журнале из списка Web of Science и/или Scopus- Автор: Petrukhin Yaroslav
- Журнал: Logique et Analyse
- Том: 259
- Номер: 259-260
- Год издания: 2022
- Издательство: Centre National Belge de Recherche de Logique
- Местоположение издательства: Belgium
- Первая страница: 215
- Последняя страница: 232
- DOI: 10.2143/LEA.259.0.3291803
- Аннотация: In this paper, we introduce two new logics which are combinations of Nelson’s paraconsistent logic N4 of constructive falsity with Visser’s basic and formal propositional logics BPL and FPL. BPL and FPL can be embedded by Gödel’s translation to modal logic K4 and provability logic GL, respectively. They have the disjunction property and FPL can be used as a tool of studying provability.Its Nelsonian counterpart NFPL which we present in this paper has the same properties and also constructive falsity and paraconsistency. We formalize Nelsonian counterparts of Visser’s logics via natural deduction systems, develop Kripke semantics for them, embed them into Visser’s and modal logics.
- Добавил в систему: Петрухин Ярослав Игоревич