An Algebraic Investigation of the Connexive Logic C Научная публикация
| Журнал |
Studia Logica
ISSN: 0039-3215 , E-ISSN: 1572-8730 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 112, Номер: 1-2, Страницы: 37–67 Страниц : 31 DOI: 10.1007/s11225-023-10057-2 | ||||
| Ключевые слова | Connexive logic, Twist-products, Connexive modal logic, Nelson’s logic, Algebraic semantics. | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
In this paper we show that axiomatic extensions of H. Wansing’s connexive logic ( ) are algebraizable (in the sense of J.W. Blok and D. Pigozzi) with respect to sub-varieties of ( )-algebras. We develop the structure theory of ( )-algebras, and we prove their representability in terms of twist-like constructions over implicative lattices (Heyting algebras). As a consequence, we further clarify the relationship between the aforementioned classes. Finally, taking advantage of the above machinery, we provide some preliminary remarks on the lattice of axiomatic extensions of ( ) as well as on some properties of their equivalent algebraic semantics.
Библиографическая ссылка:
Fazio D.
, Odintsov S.P.
An Algebraic Investigation of the Connexive Logic C
Studia Logica. 2024. V.112. N1-2. P.37–67. DOI: 10.1007/s11225-023-10057-2 WOS Scopus РИНЦ OpenAlex
An Algebraic Investigation of the Connexive Logic C
Studia Logica. 2024. V.112. N1-2. P.37–67. DOI: 10.1007/s11225-023-10057-2 WOS Scopus РИНЦ OpenAlex
Даты:
| Опубликована online: | 21 июн. 2023 г. |
| Опубликована в печати: | 16 апр. 2024 г. |
Идентификаторы БД:
| Web of science: | WOS:001019128000001 |
| Scopus: | 2-s2.0-85162952901 |
| РИНЦ: | 61862957 |
| OpenAlex: | W4381487049 |