Logic of infons: The propositional case.

Yuri Gurevich Itay Neeman

Published in: ACM Trans. Comput. Log. (2011)

Keyphrases

multi valued
sound and complete axiomatization
propositional logic
proof procedure
database
data sets
logic programming
automated reasoning
classical logic
predicate logic
neural network
artificial intelligence
logic programs
first order logic
classical first order logic