The Deduction Theorem for Quantum Logic - Some Negative Results.
Jacek MalinowskiPublished in: J. Symb. Log. (1990)
Keyphrases
- intuitionistic logic
- classical logic
- linear logic
- quantum computation
- natural deduction
- positive and negative
- proof theoretic
- deductive reasoning
- logic programming
- computer algebra
- logic circuits
- quantum computing
- logic synthesis
- proof search
- channel capacity
- automated theorem proving
- proof theory
- quantum mechanics
- modal logic
- logic programs