A Comparison of Implications in Orthomodular Quantum Logic - Morphological Analysis of Quantum Logic.
Mitsuhiko FujioPublished in: Int. J. Math. Math. Sci. (2012)
Keyphrases
- morphological analysis
- quantum computation
- logic circuits
- logic synthesis
- quantum computing
- logic programming
- sound and complete axiomatization
- multi valued
- modal logic
- classical logic
- deontic logic
- defeasible logic
- set theory
- predicate logic
- truth values
- quantum mechanics
- asynchronous circuits
- logical framework
- probability theory
- evolutionary algorithm