有限加权 Kleene 代数 With Tests 的完备性
计算机科学中的逻辑
2024-07-11 v1
摘要
在 \'Esik 和 Kuich 关于有限加权 Kleene 代数完备性结果的基础上，我们建立了有限加权 Kleene 代数 With Tests 的关系完备性和语言完备性结果。类似于 \'Esik 和 Kuich，我们假设有限权重半环是交换的、部分有序的和零有界的，但我们还假设它是积分的。我们认为，有限加权 Kleene 代数 With Tests 是进行等式推理的自然框架，在这种情况下，假设可接受权重的上限。
引用
@article{arxiv.2407.07570,
title = {Completeness of Finitely Weighted Kleene Algebra With Tests},
author = {Igor Sedlár},
journal= {arXiv preprint arXiv:2407.07570},
year = {2024}
}
备注
Published version: I. Sedl\'ar: Completeness of Finitely Weighted Kleene Algebra with Tests. In: G. Metcalfe, T. Studer, R. de Queiroz (Eds.): Logic, Language, Information, and Computation (WoLLIC 2024), pp. 210-224. Lecture Notes in Computer Science, vol 14672. Springer, Cham, 2024