|
|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2014, Volume 11, Pages 210–219
(Mi semr482)
|
 |
|
 |
Mathematical logic, algebra and number theory
Generalised BK-frames
E. I. Latkin
Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
We define general $\mathbf{BK}$-frames with two different approaches. We prove that our semantic of general $\mathbf{BK}$-frames is as strong as the algebraic semantic of twist-structures. Then we formulate the p-morphism theorem.
Keywords:
BK-frame, belnapian modal logic, twist-structure, modal algebra, general frame, p-morphism.
Received April 9, 2014
Citation:
E. I. Latkin, “Generalised BK-frames”, Sib. Èlektron. Mat. Izv., 11 (2014), 210–219
Linking options:
https://www.mathnet.ru/eng/semr482 https://www.mathnet.ru/eng/semr/v11/p210
|
| Statistics & downloads: |
| Abstract page: | 195 | | Full-text PDF : | 66 | | References: | 43 |
|
Citation in format AMSBIB
Contact us: