|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
S5-Style Non-Standard Modalities in a Hypersequent Frameworkстатья
Дата последнего поиска статьи во внешних источниках: 8 апреля 2022 г.
- Автор: Petrukhin Yaroslav
- Журнал: Logic and Logical Philosophy
- Том: 31
- Номер: 3
- Год издания: 2022
- Первая страница: 427
- Последняя страница: 456
- DOI: 10.12775/LLP.2021.020
- Аннотация: The aim of the paper is to present some non-standard modalities (such as non-contingency, contingency, essence and accident) based on S5-models in a framework of cut-free hypersequent calculi. We also study negated modalities, i.e. negated necessity and negated possibility, which produce paraconsistent and paracomplete negations respectively. As a basis for our calculi, we use Restall's cut-free hypersequent calculus for S5. We modify its rules for the above-mentioned modalities and prove strong soundness and completeness theorems by a Hintikka-style argument. As a consequence, we obtain a cut admissibility theorem. Finally, we present a constructive syntactic proof of cut elimination theorem.
- Добавил в систему: Петрухин Ярослав Игоревич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | S5-Style_Non-Standard_Modalities_in_a_Hypersequent_Framewor… | 372,9 КБ | 16 декабря 2021 [petrukhin] |