Necessary truth as analyticity, and the eliminability of monadic de re formulas.

Thomas Schwartz

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

deductive databases
valued logic
datalog queries
truth values
datalog programs
mathematical formulas
data mining
artificial intelligence
special case
horn clauses