First-order theories as many-sorted algebras.
Vincenzo MancaAntonino SalibraPublished in: Notre Dame J. Formal Log. (1984)
Keyphrases
- theory revision
- first order logic
- higher order
- logical formulas
- action theories
- logical theories
- spatial reasoning
- knowledge base
- theoretical framework
- concept learning
- clifford algebra
- descending order
- quantifier elimination
- conditional logic
- formal models
- cognitive psychology
- situation calculus
- inference rules
- rough sets