Login / Signup
Natural Deduction for Quantum Logic.
K. Tokuo
Published in:
Logica Universalis (2022)
Keyphrases
</>
natural deduction
cut elimination
intuitionistic logic
theorem prover
inference rules
sequent calculus
theorem proving
linear logic
linear time temporal logic
quantum computation
quantum mechanics
modal logic
logic circuits
quantum computing
machine learning