Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/131256
Название: | Maximality of bi-intuitionistic propositional logic |
Авторы: | Olkhovikov, G. Badia, G. |
Дата публикации: | 2022 |
Издатель: | Oxford University Press |
Библиографическое описание: | 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 |
Аннотация: | 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. |
Ключевые слова: | 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 |
URI: | http://elar.urfu.ru/handle/10995/131256 |
Условия доступа: | info:eu-repo/semantics/openAccess |
Идентификатор SCOPUS: | 85134367148 |
Идентификатор WOS: | 000744750400001 |
Идентификатор PURE: | 29479282 77c92412-2d58-4336-8e59-b8f9bb7e8de7 |
ISSN: | 0955-792X |
DOI: | 10.1093/logcom/exab058 |
Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2-s2.0-85134367148.pdf | 338,28 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.