MVLSC主页 • 问题内容
基于诱导群胚的格效应代数逻辑
伊万·查达、赫尔穆特·隆格和扬·帕塞卡
效应代数是由Foulis和Bennett引入的所谓量子结构，它描述了量子效应，并由相应物理系统（即Hilbert空间）的相空间上有界自共轭算子的行为决定。从代数的角度来看，问题是效应代数只是部分代数，因此当我们将它们用于量子力学相应逻辑的代数语义的构造时，可能会有一些缺点。如果所讨论的效应代数是格序的，则可以通过使用具有处处定义运算的等价代数的表示来克服这一缺点。在本文中，该代数是一个具有一元运算的广群，该运算是反调对合。它使我们能够为相应逻辑的代数语义引入合适的公理和固有规则，并证明该逻辑是健全和完整的。
关键词：D-偏序集，效应代数，格效应代数，反调对合，效应群，基于群的逻辑
全文（IP）
