量子分离逻辑（QSL）作为一种提升量子程序演绎推理可扩展性的有效工具被提出。在该逻辑体系中，分离被诠释为量子态解纠缠，而框架规则引入了纠缠局域规范的概念（即仅描述与程序作用量子比特存在纠缠关系的量子比特）。本文揭示了量子领域特有的两种局域性概念，并构建了新型量子分离逻辑系统RapunSL——该系统能可靠地将叠加态推理简化为纯态推理（基矢局域性），并将测量产生的混合态推理转化为纯态推理（结果局域性）。为此，研究人员引入了线性组合与混合这两个新逻辑连接词，它们与分离操作相结合显著提升了推理的可扩展性，这一点通过一系列具有挑战性的案例研究得到了验证。
