延拓保守性。Sikorski定理
摘要：有关有限布尔代数是分配格范畴中的可插入对象的断言得到了具有建设性意义的解释。为此，我们使用斯科特的蕴含关系概念，这个概念描述了有关有限布尔代数的Sikorski扩展定理，并将其转化为一个句法保存结果。作为副产品，我们可以简化多个相关的经典原理的证明。
作者：Davide Rinaldi, Daniel Wessel
论文ID：1612.07345
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22