Definability of Polyadic Lifts of Generalized Quantifiers.

Lauri Hella Jouko A. Väänänen Dag Westerståhl

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

Keyphrases

fixed point
databases
expert systems
first order logic
propositional logic
data sets
information retrieval
three dimensional
computational complexity
digital libraries
user interface