The Predicate-Minimizing Logic MIN.
Francicleber Martins FerreiraAna Teresa C. MartinsPublished in: IBERAMIA-SBIA (2006)
Keyphrases
- proof theory
- classical logic
- asynchronous circuits
- logic programming
- first order logic
- multi valued
- logic synthesis
- modal logic
- horn clauses
- sound and complete axiomatization
- databases
- formal theory
- predicate logic
- nonmonotonic logics
- probabilistic logic
- relational databases
- multi agent systems
- information systems
- neural network