@article{JAKL2016201, title = "Bitopology and Four-valued Logic", journal = "Electronic Notes in Theoretical Computer Science", volume = "325", pages = "201 - 219", year = "2016", note = "The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)", issn = "1571-0661", doi = "https://doi.org/10.1016/j.entcs.2016.09.039", url = "http://www.sciencedirect.com/science/article/pii/S1571066116300895", author = "Tomáš Jakl and Achim Jung and Aleš Pultr", keywords = "Bilattices, d-frames, nd-frames, bitopological spaces, four-valued logic", abstract = {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.} }