可逆Kleene格的完全公理化
计算机科学中的逻辑
2019-02-22 v1 形式语言与自动机理论
摘要
我们考虑在可逆Kleene格签名下的语言代数，即正则运算（空语言与单位语言、并、连接与Kleene星）连同交与镜像。我们为这些代数的等式理论提供了一组完备的公理。该证明在证明辅助工具Coq中开发。
引用
@article{arxiv.1902.08048,
title = {A complete axiomatisation of reversible Kleene lattices},
author = {Paul Brunet},
journal= {arXiv preprint arXiv:1902.08048},
year = {2019}
}