The Provenance of the Orthomodularity Axiom in Boolean and Quantum Logic: An Automated Deduction.
Jack HornerPublished in: IC-AI (2010)
Keyphrases
- automated deduction
- inference rules
- modal logic
- logic programming
- quantum computation
- theorem proving
- boolean logic
- logical framework
- truth values
- logic circuits
- multi valued
- theorem prover
- logic programs
- logic synthesis
- truth table
- automated reasoning
- deductive databases
- temporal logic
- programming language
- integrity constraints
- classical logic
- metadata
- proof theory
- databases
- machine learning
- quantum inspired
- knowledge base
- quantum computing
- active learning
- knowledge representation
- asynchronous circuits
- provenance information
- general purpose
- predicate logic
- first order logic