On Complete Sets of Logic Primitives.

Herschel H. Loomis Jr.Robert H. Wyman Jr.

Published in: IEEE Trans. Electron. Comput. (1965)

Keyphrases

high level
low level
classical logic
databases
decision trees
logic programming
website
image sequences
video sequences
building blocks
logical framework
defeasible logic
predicate logic
epistemic logic