摘要：研究接触偏序集，并证明每个接触偏序集都可以嵌入到具有重叠接触关系的布尔偏序集中。接触偏序集和（非可加）接触半格具有超拼凑性质、Fra"i ss限制和模型完成性质。一些结果适用于计算机科学中引入的具有二进制冲突的事件结构。
作者：Paolo Lipparini
论文ID：2303.06259
分类：Logic
分类简称：math.LO
提交时间：2023-06-28
PDF 下载： 英文版 中文版pdf翻译中