A note on implication operators of quantum logic.
Songsong DaiPublished in: Quantum Mach. Intell. (2020)
Keyphrases
- quantum computation
- logic circuits
- multi valued
- logic synthesis
- modal operators
- quantum inspired
- quantum computing
- logic programming
- totally ordered
- low power
- logical implication
- morphological operators
- automated reasoning
- predicate logic
- set theory
- sound and complete axiomatization
- proof theory
- information retrieval
- computational properties
- classical logic
- aggregation operators
- modal logic
- building blocks
- relational databases