A note on Spector's quantifier-free rule of extensionality.

Ulrich Kohlenbach

Published in: Arch. Math. Log. (2001)

Keyphrases

quantifier free
quantifier elimination
rewrite systems
first order logic
active rules
relational data model
machine learning
real numbers
database
databases
integrity constraints
constraint propagation
production rules
term rewriting