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

DOI10.1017/S0960129524000045MaRDI QIDQ6646014zbMATH OpenFDO

Authors Igor Sedlár

Publication date 29 November 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129524000045

zbMATH Keywords

implicationKleene algebrapartial correctnesssubstructural logic

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• An equational axiomatization of dynamic negation and relational composition
• An infinitary sequent system for the equational theory of *-continuous action lattices
• An update on ``might
• Dynamic predicate logic
• Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
• From semirings to residuated Kleene lattices
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Internal axioms for domain semirings
• Kleene algebra with domain
• On Action Logic: Equational Theories of Action Algebras
• On the complexity of Kleene algebra with domain
• On the complexity of reasoning in Kleene algebra
• Propositional dynamic logic of regular programs
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequential dynamic logic
• Substructural logic and partial correctness

This page was built for publication: Implicational Kleene algebra with domain and the substructural logic of partial correctness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646014)