Aristotelian syllogisms and generalized quantifiers.

Dag Westerståhl

Published in: Stud Logica (1989)

Keyphrases

real time
relational databases
databases
search engine
decision trees
high quality
natural language
lower bound
input image
first order logic