Quantum logic and physical modalities.

Maria Luisa Dalla Chiara

Published in: J. Philos. Log. (1977)

Keyphrases

quantum computation
logic circuits
logic synthesis
modal logic
classical logic
quantum computing
cross modal
proof theory
dynamic logic
automated reasoning
computational properties
set theory
data sets
low power
genetic algorithm
machine learning
databases