@inproceedings{d0198bd9961b4def8e64cfacd06a92d8,
title = "Bitopology and 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.",
keywords = "Bilattices, d-frames, nd-frames, bitopological spaces, four-valued logic",
author = "Tomas Jakl and Achim Jung and Ales Pultr",
year = "2016",
month = oct,
day = "7",
doi = "10.1016/j.entcs.2016.09.039",
language = "English",
volume = "325",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
pages = "201--219",
editor = "Lars Birkedal and Michael Mislove",
booktitle = "32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings",
note = "32nd Conference on Mathematical Foundations of Programming Semantics ; Conference date: 23-05-2016 Through 26-05-2016",
}