Keyphrases
- truth values
- modal logic
- classical logic
- valued logic
- multi valued
- information retrieval
- artificial intelligence
- asynchronous circuits
- logic programming
- predicate logic
- sound and complete axiomatization
- databases
- computational properties
- logical framework
- probabilistic logic
- automated reasoning
- programming language
- expert systems
- bayesian networks
- neural network