@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.}
}