On proving functional incompleteness in symbolic logic classes.

Francis Jeffry Pelletier W. David Sharp

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

Keyphrases

multi valued
high level
incomplete information
symbolic representation
finite model theory
databases
predicate logic
data sets
genetic algorithm
information systems
case study
logic programming
set theory
proof theory