行为 Mereology（证明与性质）
逻辑
2020-07-06 v2 范畴论
摘要
Mereology 是研究部分及其之间关系的学问。我们引入一种行为式的 mereology 方法，其中系统及其部分仅由它们所能展现的行为类型来认知。我们的讨论在形式上是拓扑斯理论的，且对拓扑斯保持不可知，从而提供最大的一般性；然而，通过仅使用其内逻辑，我们可以隐藏细节，读者可假定这是一个完全初等的集合论讨论。我们依据行为约束如何在整体各部分之间传递来考察它们的关系，并给出一种在对称可达性设定下推广通常真势模态的跨模态逻辑。
引用
@article{arxiv.1811.00420,
title = {Behavioral Mereology (Proofs and Properties)},
author = {Brendan Fong and David Jaz Myers and David I. Spivak},
journal= {arXiv preprint arXiv:1811.00420},
year = {2020}
}
备注
18 pages, Extended version of version accepted for publication for the ACT 2020 conference