On the Logic of Factual Equivalence.

Fabrice Correia

Published in: Rev. Symb. Log. (2016)

Keyphrases

modal logic
classical logic
predicate logic
logic programming
genetic algorithm
data sets
data mining
automated reasoning
multi valued
logical framework
sound and complete axiomatization
real time
expressive power
equivalence relation
digital circuits
proof theory