Keyphrases
- inference rules
- truth values
- classical logic
- valued logic
- expressive power
- modal logic
- quantum computation
- quantum computing
- quantum inspired
- first order logic
- propositional logic
- propositional calculus
- logic circuits
- quantum mechanics
- epistemic logic
- horn logic
- fuzzy logic
- conditional logic
- channel capacity
- nonmonotonic logics
- logical framework
- proof procedures
- multi valued
- model checking
- information retrieval