Mutual definability does not imply definitional equivalence, a simple example.

Hajnal Andréka Judit X. Madarász István Németi

Published in: Math. Log. Q. (2005)

Keyphrases

propositional logic
machine learning
data model
data sets
genetic algorithm
image processing
case study
expert systems
question answering
highly reliable