Holistic Type Extension for Classical Logic via Toffoli Quantum Gate.
Hector FreytesRoberto GiuntiniGiuseppe SergioliPublished in: Entropy (2019)
Keyphrases
- classical logic
- logic programming
- default theories
- modal logic
- autoepistemic logic
- computer science and artificial intelligence
- automated theorem proving
- possibilistic logic
- default logic
- fuzzy logic
- knowledge representation
- valued logic
- revision operators
- intuitionistic logic
- possibility theory
- random variables
- probability distribution
- commonsense reasoning
- artificial intelligence
- database