Bitopology and four-valued logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
External organisations
- Charles University in 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