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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.entcs.2016.09.039 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
Bilattices,d-frames,nd-frames,bitopological spaces,four-valued logic | Discrete mathematics,Computer science,Generalization,Four-valued logic,Semantics | Journal |
Volume | ISSN | Citations |
325 | 1571-0661 | 1 |
PageRank | References | Authors |
0.36 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomáš Jakl | 1 | 1 | 0.36 |
Achim Jung | 2 | 111 | 13.07 |
Ales Pultr | 3 | 72 | 24.12 |