Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness

Autoři: Mgr. Igor Sedlár, Ph.D.
Rok vydání: 2024
Typ publikace: Článek v odborném periodiku
Periodikum: Mathematical Structures in Computer Science
Bibliografická citace: SEDLÁR, Igor. Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness. Mathematical Structures in Computer Science. 2024, 34(Special Issue 7 WoLLIC 2022), 645-660. ISSN 0960-1295. E-ISSN 1469-8072
Dostupné z: doi:10.1017/S0960129524000045.
DOI: 10.1017/S0960129524000045
ID: 585769
Online záznam: Zobrazit online záznam

Abstrakt

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.