子图有限格中嵌套条件的无嵌套范式
范畴论
2026-03-26 v2 计算机科学中的逻辑
摘要
我们在子图有限格的背景下，提出了嵌套条件与约束形式体系的无嵌套范式。
引用
@article{arxiv.2601.18376,
title = {A nesting-free normal form for nested conditions in finite lattices of subgraphs},
author = {Jens Kosiol and Steffen Zschaler},
journal= {arXiv preprint arXiv:2601.18376},
year = {2026}
}
备注
22 pages, includes proofs, improved presentation compared to v. 1