Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00585769" target="_blank" >RIV/67985807:_____/24:00585769 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1017/S0960129524000045" target="_blank" >https://doi.org/10.1017/S0960129524000045</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0960129524000045" target="_blank" >10.1017/S0960129524000045</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness
Popis výsledku v původním jazyce
We show that Kozen and Tiuryn’s substructural logic of partial correctness S embeds into the equational theory of Kleene algebra with domain, KAD. We provide an implicational formulation of KAD which sets S in the context of implicational extensions of Kleene algebra.
Název v anglickém jazyce
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness
Popis výsledku anglicky
We show that Kozen and Tiuryn’s substructural logic of partial correctness S embeds into the equational theory of Kleene algebra with domain, KAD. We provide an implicational formulation of KAD which sets S in the context of implicational extensions of Kleene algebra.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
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ů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
1469-8072
Svazek periodika
34
Číslo periodika v rámci svazku
Special Issue 7 WoLLIC 2022
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
16
Strana od-do
645-660
Kód UT WoS článku
001175453500001
EID výsledku v databázi Scopus
2-s2.0-85186886374