Quantum Logic as a Fragment of Independence-Friendly Logic.

Jaakko Hintikka

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

Keyphrases

classical logic
logic programming
modal logic
formal language
logic circuits
quantum computation
automated reasoning
probabilistic logic
sound and complete axiomatization
database systems
search algorithm
probability theory
logical framework
computational properties
dynamic logic
delay insensitive