March 4, 2024

Implicational Kleene algebra with domain and the substructural logic of partial correctness

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

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.

Me gusta

Guardar

Cite This Study

Igor Sedlár (Mon,) studied this question.

synapsesocial.com/papers/68e75dc3b6db6435876d45ed https://doi.org/https://doi.org/10.1017/s0960129524000045

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1On Action Algebras1994 · 40 citations
2A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events1994 · 632 citations
3Dynamic Logic2000 · 754 citations
4Dynamic predicate logic1991 · 1,424 citations
5Substructural logic and partial correctness2003 · 21 citations

Me gusta

Guardar