Bitopology and four-valued logic

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Colleges, School and Institutes

External organisations

  • Charles University in Prague


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.


Original languageEnglish
Title of host publication32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings
EditorsLars Birkedal, Michael Mislove
Publication statusPublished - 7 Oct 2016
Event32nd Conference on Mathematical Foundations of Programming Semantics - Carnegie Mellon University, Pittsburgh, United States
Duration: 23 May 201626 May 2016

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Electronic)1571-0661


Conference32nd Conference on Mathematical Foundations of Programming Semantics
CountryUnited States


  • Bilattices, d-frames, nd-frames, bitopological spaces, four-valued logic