Keyphrases
- set theory
- knowledge base
- sound and complete axiomatization
- computational properties
- logic programming
- modal logic
- multi valued
- classical logic
- logical theories
- horn clauses
- logical framework
- search algorithm
- formal theory
- asynchronous circuits
- dynamic logic
- complete axiomatization
- neural network
- first order logic
- automated reasoning
- case study
- axiomatic characterization