Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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.pdf338,28 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.