Keyphrases
- formal theory
- set theory
- theoretical framework
- probability theory
- commonsense reasoning
- proof theory
- databases
- proof theoretic
- computational model
- boolean algebra
- asynchronous circuits
- general theory
- sound and complete axiomatization
- real time
- algebraic structure
- classical logic
- logical framework
- automated reasoning
- theoretical basis
- modal logic
- first order logic
- bayesian networks
- artificial intelligence