同时性逻辑
Logic of Simultaneity
摘要：
时空结构的逻辑模型被描绘成一系列的时间过程。一种常用的方法来形式化时间结构是假设时间点的全局存在性，然后收集其中的一些时间点来形成过程的时间间隔。在这种集合论方法下，控制过程的逻辑获得了布尔结构。然而，在一个真实的分布式系统或相对论宇宙中，不同位置之间的消息传递时间是不可忽略的，逻辑别无选择，只能接受时间间隔而不是时间点作为一个原始的概念。从这个时空结构的建模过程中，量子逻辑的最简化版本--正交逻辑自然地出现了。
英文摘要：
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals of processes. Under this set-theoretic approach, the logic that governs the processes acquires a Boolean structure. However, in a real distributed system or a relativistic universe where the message-passing time between different locations is not negligible, the logic has no choice but to accept time interval instead of time point as a primitive concept. From this modeling process of spatiotemporal structures, orthologic, the most simplified version of quantum logic, emerges naturally.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
