Bitopology and four-valued logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
External organisations
- Charles University, Prague
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.
Details
Original language | English |
---|---|
Title of host publication | 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings |
Editors | Lars Birkedal, Michael Mislove |
Publication status | Published - 7 Oct 2016 |
Event | 32nd Conference on Mathematical Foundations of Programming Semantics - Carnegie Mellon University, Pittsburgh, United States Duration: 23 May 2016 → 26 May 2016 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Publisher | Elsevier |
ISSN (Electronic) | 1571-0661 |
Conference
Conference | 32nd Conference on Mathematical Foundations of Programming Semantics |
---|---|
Country | United States |
City | Pittsburgh |
Period | 23/05/16 → 26/05/16 |
Keywords
- Bilattices, d-frames, nd-frames, bitopological spaces, four-valued logic