PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
March 4, 2024Mathematical Structures in Computer Science0 citations

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

View Full Paper
ISIgor Sedlár

Key Points

Key points are not available for this paper at this time.

Abstract

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.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Igor Sedlár (2024) studied this question.

synapsesocial.com/papers/68e75dc3b6db6435876d45edhttps://doi.org/10.1017/s0960129524000045
Ask AI
Helpful
Bookmark
Share
View Full Paper

Also Consider

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

  1. 1Exploring Logical Dynamics1996 · 326 citations
  2. 2Residuated Lattices: An Algebraic Glimpse at Substructural Logics2007 · 821 citations
  3. 3Dynamic predicate logic1991 · 1,429 citations
  4. 4On Action Logic: Equational Theories of Action Algebras2006 · 39 citations
  5. 5From Semirings to Residuated Kleene Lattices2004 · 36 citations