Maximality of bi-intuitionistic propositional logic
Электронный научный архив УРФУ
Информация об архиве | Просмотр оригинала| Поле | Значение | |
| Заглавие |
Maximality of bi-intuitionistic propositional logic
|
|
| Автор |
Olkhovikov, G.
Badia, G. |
|
| Тематика |
ABSTRACT MODEL THEORY
BI-ASIMULATIONS BI-INTUITIONISTIC LOGIC LINDSTRÖM THEOREM ABSTRACTING COMPUTER CIRCUITS ABSTRACT LOGIC ABSTRACT MODEL THEORY BI-ASIMULATION BI-INTUITIONISTIC LOGIC EXPRESSIVE POWER FIRST ORDER LOGIC INTUITIONISTIC PROPOSITIONAL LOGIC LINDSTROM THEOREM MAXIMALITY PROPERTY FORMAL LOGIC |
|
| Описание |
In the style of Lindström's theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under bi-asimulations. Since bi-intuitionistic logic introduces new complexities in the intuitionistic setting by adding the analogue of a backwards looking modality, the present paper constitutes a non-trivial modification of the previous work done by the authors for intuitionistic logic (Badia and Olkhovikov, 2020, Notre Dame Journal of Formal Logic, 61, 11-30). © 2021 The Author(s). Published by Oxford University Press. All rights reserved.
|
|
| Дата |
2024-04-08T11:06:01Z
2024-04-08T11:06:01Z 2022 |
|
| Тип |
Article
Journal article (info:eu-repo/semantics/article) info:eu-repo/semantics/submittedVersion |
|
| Идентификатор |
Olkhovikov, G & Badia, G 2022, 'Maximality of bi-intuitionistic propositional logic', Journal of Logic and Computation, Том. 32, № 1, стр. 1-31. https://doi.org/10.1093/logcom/exab058
Olkhovikov, G., & Badia, G. (2022). Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation, 32(1), 1-31. https://doi.org/10.1093/logcom/exab058 0955-792X Final All Open Access; Green Open Access https://arxiv.org/pdf/2104.03052 https://arxiv.org/pdf/2104.03052 http://elar.urfu.ru/handle/10995/131256 10.1093/logcom/exab058 85134367148 000744750400001 |
|
| Язык |
en
|
|
| Права |
Open access (info:eu-repo/semantics/openAccess)
|
|
| Формат |
application/pdf
|
|
| Издатель |
Oxford University Press
|
|
| Источник |
Journal of Logic and Computation
Journal of Logic and Computation |
|