|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Infinitary Action Logic with Multiplexingстатья
- Авторы: Kuznetsov Stepan L., Speranski Stanislav O.
- Журнал: Studia Logica
- Том: 111
- Номер: 2
- Год издания: 2023
- Издательство: Springer Nature
- Местоположение издательства: Switzerland
- Первая страница: 251
- Последняя страница: 280
- DOI: 10.1007/s11225-022-10021-6
- Аннотация: Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and the \omega^\omega level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic.
- Добавил в систему: Кузнецов Степан Львович