https://zbmath.org/atom/cc/06D22 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.03162 2024-04-15T15:10:58.286558Z “霍利迪，卫斯理·H。” https://zbmath.org/authors/？q=ai:holliday.wesley-h.2|holliday.wesley-h 概述：在经典逻辑及其扩展（如模态逻辑）的传统语义中，命题被解释为集合的子集，如离散对偶，或Stone空间的clopen集，如拓扑对偶。这样一个集合中的一个点可以被视为一个“可能世界”，世界的关键属性是\textit{priminess}——只有当世界使析取为真时，它才能使析取成为真对于每个命题，一个世界要么使命题为真，要么使其否定为真。本章介绍了一种更通用的逻辑语义方法，称为\textit{可能性语义}，它用可能\textit}部分}“可能性”替换可能世界。在经典的可能性语义学中，命题被解释为偏序集的正则开集，如集合理论的强迫，或者被解释为上维多利斯空间的紧正则开集，如最近的“无选择斯通对偶”理论。这些集合的元素，被视为可能性，在使析取为真的意义上，可能是部分的，而不确定哪个析取是真的。我们解释了如何在经典逻辑和模态逻辑的语义中使用可能性，并将其推广到直觉主义逻辑的语义。其目的是克服或深化传统语义的不完备性结果，避免传统语义的非结构性，并为新语言的解释提供更丰富的结构。整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.81015 2024-04-15T15:10:58.286558Z “菲尔兹，克里斯” https://zbmath.org/authors/？q=ai:fields.chris “詹姆斯·F·格拉泽布鲁克” https://zbmath.org/authors/？q=ai:glazebrook.james-（f） 摘要：我们研究了状态可分性假设与准备和测量情境之间的关系，以及这两者与框架问题的关系，即预测什么不会因行动而改变的问题。我们陈述了后者的量子模拟并证明了其不可判定性。我们展示了在状态准备和测量过程中，如何通过基选择、热力学交换和因果模型的实施来普遍诱导情境性，以及如何在非文本环境中普遍出现微调假设。