Algebraic Characterizations for Universal Fragments of Logic.
Raimon ElguetaPublished in: Math. Log. Q. (1999)
Keyphrases
- multi valued
- algebraic structure
- logic programming
- computer algebra
- mathematical theory
- predicate logic
- information systems
- proof theory
- higher order
- automated reasoning
- neural network
- classical logic
- computational properties
- database
- real time
- epistemic logic
- abductive reasoning
- nonmonotonic logics
- machine learning
- bayesian networks
- knowledge base