@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",

}