A small set of axioms for residuated logic.

Published in: Inf. Sci. (2005)

Keyphrases

small number
set theory
data sets
artificial intelligence
knowledge base
website
relational databases
logic programming
horn clauses
logical rules