同时性逻辑
逻辑
2009-11-13 v1
摘要
时空结构的逻辑模型被描绘为时间中过程的相继序列。形式化时间结构的一种常用方法是假设时间点的全局存在，然后收集其中一些点以形成过程的时间区间。在这种集合论方法下，支配过程的逻辑获得了布尔结构。然而，在真实的分布式系统或相对论宇宙中，不同位置之间的消息传递时间不可忽略，逻辑别无选择，只能接受时间区间而非时间点作为原始概念。从这种时空结构的建模过程中，正交逻辑（orthologic）——量子逻辑的最简化版本——自然地涌现出来。
引用
@article{arxiv.0710.1398,
title = {Logic of Simultaneity},
author = {Kenji Tokuo},
journal= {arXiv preprint arXiv:0710.1398},
year = {2009}
}