No CrossRef data available.
Article contents
Implicational Kleene algebra with domain and the substructural logic of partial correctness
Published online by Cambridge University Press: 04 March 2024
Abstract
We show that Kozen and Tiuryn’s substructural logic of partial correctness $\mathsf{S}$ embeds into the equational theory of Kleene algebra with domain,
$\mathsf{KAD}$. We provide an implicational formulation of
$\mathsf{KAD}$ which sets
$\mathsf{S}$ in the context of implicational extensions of Kleene algebra.
- Type
- Special Issue: WoLLIC 2022
- Information
- Copyright
- © The Author(s), 2024. Published by Cambridge University Press