Sciact
  • EN
  • RU

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.
Авторы Fazio Davide 1 , Odintsov Sergei P. 2
Организации
1 Department of Communication Sciences University of Teramo
2 Sobolev Institute of Mathematics

Информация о финансировании (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
Даты:
Опубликована online: 21 июн. 2023 г.
Опубликована в печати: 16 апр. 2024 г.
Идентификаторы БД:
Web of science: WOS:001019128000001
Scopus: 2-s2.0-85162952901
РИНЦ: 61862957
OpenAlex: W4381487049
Цитирование в БД:
БД Цитирований
Web of science 4
Scopus 5
OpenAlex 7
РИНЦ 2
Альметрики: