Quantum logics and Lindenbaum property.

Roberto Giuntini

Published in: Stud Logica (1987)

Keyphrases

expressive power
modal logic
search engine
inference rules
conditional logic
computer vision
information systems
search algorithm
fuzzy logic
first order logic
temporal logic
quantum computing
propositional dynamic logic