Bitopology and four-valued logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332429" target="_blank" >RIV/00216208:11320/16:10332429 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.entcs.2016.09.039" target="_blank" >http://dx.doi.org/10.1016/j.entcs.2016.09.039</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.entcs.2016.09.039" target="_blank" >10.1016/j.entcs.2016.09.039</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Bitopology and four-valued logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Bitopology and four-valued logic

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Electronic Notes in Theoretical Computer Science

ISBN

—

ISSN

1571-0661

e-ISSN

—

Počet stran výsledku

19

Strana od-do

201-219

Název nakladatele

Elsevier B.V.

Místo vydání

Netherlands

Místo konání akce

Pittsburgh, Pensilvania, USA

Datum konání akce

23. 5. 2016

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—