Symmetric and contrapositional quantifiers.

Published in: J. Log. Lang. Inf. (2007)

Keyphrases

first order logic
positive definite
database
learning algorithm
natural language
computational complexity
digital libraries