In quantum mechanics, quantum logic is a set of rules for reasoning about propositions that takes the principles of quantum theory into account. Thisâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular latticesâ€¦Â (More)

Is this relevant?

2006

2006

- Samson Abramsky, Ross Duncan
- Mathematical Structures in Computer Science
- 2006

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories withâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Vivek V. Shende, Stephen S. Bullock, Igor L. Markov
- IEEE Transactions on Computer-Aided Design ofâ€¦
- 2005

The pressure of fundamental limits on classical computation and the promise of exponential speedups from quantum effects haveâ€¦Â (More)

Is this relevant?

2004

2004

- Paulo Mateus
- 2004

Most of the work on quantum logic (since the seminal paper [4]) has continued to adopt the lattice of closed subspaces of aâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

We develop a multivalued logic for quantum computing for use in multi-level quantum systems, and discuss the practical advantagesâ€¦Â (More)

Is this relevant?

2000

2000

We present a general method to construct fault-tolerant quantum logic gates with a simple primitive, which is an analog ofâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- D. J. Wineland, Charles W. Monroe, W. M. Itano, Dietrich Leibfried, B. E. King, D. M. Meekhof
- Journal of research of the National Institute ofâ€¦
- 1998

Methods for, and limitations to, the generation of entangled states of trapped atomic ions are examined. As much as possibleâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

In this internship report, we present Carlo Rovelliâ€™s relational interpretation of quantum mechanics, focusing on its historicalâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Monroe, Meekhof, Andrew King, Itano, Wineland
- Physical review letters
- 1995

We demonstrate the operation of a two-bit "controlled-NOT" quantum logic gate, which, in conjunction with simple single-bitâ€¦Â (More)

Is this relevant?

1995

1995

- C. J. ISHAM
- 1995

An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theoryâ€¦Â (More)

Is this relevant?