|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2013, Volume 10, Pages 517–534
(Mi semr449)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Mathematical logic, algebra and number theory
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
Abstract:
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).
Keywords:
Belnapian modal logic, many-valued modal logic, strong negation, Belnapian modal algebra, twist-structure, modal algebra.
Received March 12, 2013, published August 19, 2013
Citation:
S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Sib. Èlektron. Mat. Izv., 10 (2013), 517–534
Linking options:
https://www.mathnet.ru/eng/semr449 https://www.mathnet.ru/eng/semr/v10/p517
|
Statistics & downloads: |
Abstract page: | 218 | Full-text PDF : | 70 | References: | 68 |
|