...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >A Discriminator Variety Of Goedel Algebras With Operators Arising In Quantum Computation
【24h】

A Discriminator Variety Of Goedel Algebras With Operators Arising In Quantum Computation

机译：量子计算中带运算符的Goedel代数的判别式

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In order to appropriately model the strong quantum computational logic of Cattaneo et al., we introduce an expansion of '~(1/2) quasi-MV algebras by lattice operations and a Goedel-like implication. We call the resulting algebras Goedel quantum computational algebras, and we show that every such algebra arises as a pair algebra over a Heyting-Wajsberg algebra. After proving a standard completeness theorem, we prove that Goedel quantum computational algebras form a discriminator variety and we point out some consequences thereof.
机译：为了适当地建模Cattaneo等人的强量子计算逻辑，我们通过晶格运算和Goedel式蕴涵引入了'〜（1/2）准MV代数的展开。我们称结果代数为Goedel量子计算代数，并且我们证明每个这样的代数都以Heyting-Wajsberg代数上的成对代数形式出现。在证明了标准完备性定理之后，我们证明了Goedel量子计算代数形成了一个鉴别器变种，并指出了其一些后果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号