Bitopology and four-valued logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332429" target="_blank" >RIV/00216208:11320/16:10332429 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.entcs.2016.09.039" target="_blank" >http://dx.doi.org/10.1016/j.entcs.2016.09.039</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.entcs.2016.09.039" target="_blank" >10.1016/j.entcs.2016.09.039</a>

Result language
angličtina
Original language name
Bitopology and four-valued logic
Original language description
Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the original bilattice logic. Moreover, we also obtain a new bitopological interpretation for the connectives of four-valued logic.
Czech name
—
Czech description
—

Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)