N-Categories in Logic.

Agustin Riscos Luis M. Laita

Published in: Math. Log. Q. (1987)

Keyphrases

classical logic
predicate logic
automated reasoning
logic programming
expert systems
relational databases
theorem proving
multi valued
logical framework
case study
bayesian networks
object detection
text classification
deontic logic