正交模格及其逻辑的负翻译
逻辑
2021-09-14 v2 量子物理
摘要
我们引入剩余正交格作为正交模格的推广及其研究环境。我们确立关于这些结构的一些基本代数事实，将正交模格刻画为那些剩余运算在对合格签名中可由项定义的剩余正交格，并证明剩余正交格是一个可代数化命题逻辑的等价代数语义。我们还证明正交模格可通过一种受布尔代数到海廷代数的双重否定翻译启发的翻译解释于剩余正交格中，并以关于可判定性的一些评注作结。
引用
@article{arxiv.2106.03656,
title = {Negative Translations of Orthomodular Lattices and Their Logic},
author = {Wesley Fussner and Gavin St. John},
journal= {arXiv preprint arXiv:2106.03656},
year = {2021}
}
备注
In Proceedings QPL 2021, arXiv:2109.04886