Quantum B-algebras: their omnipresence in algebraic logic and beyond.
Wolfgang RumpPublished in: Soft Comput. (2017)
Keyphrases
- quantum computation
- logic circuits
- algebraic structure
- relation algebra
- logic programming
- computer algebra
- logic synthesis
- modal logic
- classical logic
- boolean algebra
- computational properties
- predicate logic
- proof theory
- epistemic logic
- asynchronous circuits
- data sets
- distributive lattices
- sound and complete axiomatization
- database
- mathematical theory
- linear algebra
- multi valued
- automated reasoning
- low power
- logic programs
- evolutionary algorithm
- neural network