源自量子计算的一种非锐逻辑
量子物理
2007-05-23 v3
摘要
量子计算中所研究的逻辑门提示了一种自然的逻辑抽象，其产生了一种新形式的非锐量子逻辑。我们研究了对应于以下门的逻辑联结词：Toffoli 门、NOT 门以及 NOT 的平方根门（它们具有自然的物理模型）。这导出了一种我们称之为计算量子逻辑 CQL 的逻辑的语义刻画。
引用
@article{arxiv.quant-ph/0201013,
title = {An unsharp logic from quantum computation},
author = {G. Cattaneo and M. L. Dalla Chiara and R. Giuntini and R. Leporini},
journal= {arXiv preprint arXiv:quant-ph/0201013},
year = {2007}
}