|
Сибирские электронные математические известия, 2013, том 10, страницы 517–534
(Mi semr449)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математическая логика, алгебра и теория чисел
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
S. O. Speranski Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Аннотация:
We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) — these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here).
Ключевые слова:
Belnapian modal logic, many-valued modal logic, strong negation, Belnapian modal algebra, twist-structure, modal algebra.
Поступила 12 марта 2013 г., опубликована 19 августа 2013 г.
Образец цитирования:
S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr449 https://www.mathnet.ru/rus/semr/v10/p517
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 86 | Список литературы: | 90 |
|