Bitopology and four-valued logic

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

Standard

Bitopology and four-valued logic. / Jakl, Tomas; Jung, Achim; Pultr, Ales.

32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. ed. / Lars Birkedal; Michael Mislove. Vol. 325 Elsevier, 2016. p. 201-219 (Electronic Notes in Theoretical Computer Science).

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

Harvard

Jakl, T, Jung, A & Pultr, A 2016, Bitopology and four-valued logic. in L Birkedal & M Mislove (eds), 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. vol. 325, Electronic Notes in Theoretical Computer Science, Elsevier, pp. 201-219, 32nd Conference on Mathematical Foundations of Programming Semantics, Pittsburgh, United States, 23/05/16. https://doi.org/10.1016/j.entcs.2016.09.039

APA

Jakl, T., Jung, A., & Pultr, A. (2016). Bitopology and four-valued logic. In L. Birkedal, & M. Mislove (Eds.), 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings (Vol. 325, pp. 201-219). (Electronic Notes in Theoretical Computer Science). Elsevier. https://doi.org/10.1016/j.entcs.2016.09.039

Vancouver

Jakl T, Jung A, Pultr A. Bitopology and four-valued logic. In Birkedal L, Mislove M, editors, 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. Vol. 325. Elsevier. 2016. p. 201-219. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2016.09.039

Author

Jakl, Tomas ; Jung, Achim ; Pultr, Ales. / Bitopology and four-valued logic. 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. editor / Lars Birkedal ; Michael Mislove. Vol. 325 Elsevier, 2016. pp. 201-219 (Electronic Notes in Theoretical Computer Science).

Bibtex

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

}

RIS

TY - GEN

T1 - Bitopology and four-valued logic

AU - Jakl, Tomas

AU - Jung, Achim

AU - Pultr, Ales

PY - 2016/10/7

Y1 - 2016/10/7

N2 - 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.

AB - 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.

KW - Bilattices

KW - d-frames

KW - nd-frames

KW - bitopological spaces

KW - four-valued logic

U2 - 10.1016/j.entcs.2016.09.039

DO - 10.1016/j.entcs.2016.09.039

M3 - Conference contribution

VL - 325

T3 - Electronic Notes in Theoretical Computer Science

SP - 201

EP - 219

BT - 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings

A2 - Birkedal, Lars

A2 - Mislove, Michael

PB - Elsevier

T2 - 32nd Conference on Mathematical Foundations of Programming Semantics

Y2 - 23 May 2016 through 26 May 2016

ER -