析取相继式演算与代数L域之间的范畴等价
计算机科学中的逻辑
2020-07-10 v2
摘要
本文为以Scott连续函数为态射的代数L域范畴建立了一种纯语法的表示。此处使用的核心工具是逻辑状态的概念，它在析取相继式演算与代数L域之间架起了一座桥梁。为刻画代数L域之间的Scott连续函数，还引入了析取相继式演算之间的推论关系概念。研究表明，以推论关系为态射的析取相继式演算范畴与以Scott连续函数为态射的代数L域范畴在范畴意义上等价。
引用
@article{arxiv.1904.03671,
title = {The categorical equivalence between disjunctive sequent calculi and algebraic L-domains},
author = {Longchun Wang and Qingguo Li},
journal= {arXiv preprint arXiv:1904.03671},
year = {2020}
}
备注
17pages