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

Authors: Igor Sedlár
Publication year: 2024
Publication type: Článek v odborném periodiku
Periodical: Mathematical Structures in Computer Science
Bibliographic citation: 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 record: View online record

Abstract

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.