The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces.

David P. Ellerman

Published in: Log. J. IGPL (2018)

Keyphrases

quantum computation
logic circuits
modal logic
logic programming
classical logic
logic synthesis
bayesian networks
automated reasoning
deontic logic
quantum computing
data sets
machine learning
optimal solution
dimensionality reduction
multi valued
proof theory