A many-valued approach to quantum computational logics.

Maria Luisa Dalla Chiara Roberto Giuntini Giuseppe Sergioli Roberto Leporini

Published in: Fuzzy Sets Syst. (2018)

Keyphrases

modal logic
truth values
inference rules
databases
expressive power
mathematical programming
computational power
propositional dynamic logic
database
propositional calculus
quantum mechanics
conditional logic
classical logic
evolutionary algorithm
lower bound
case study
information systems
real time