Partial quantum logics revisited.

Thomas Vetterlein

Published in: Int. J. Gen. Syst. (2011)

Keyphrases

expressive power
modal logic
quantum computing
quantum computation
genetic algorithm
propositional calculus
expert systems
database systems
real world
search algorithm
databases
multi agent
inference rules
nonmonotonic logics
proof theory
case study
website