Canonical Calculi with (n, k)-ary Quantifiers.

Arnon Avron Anna Zamansky

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

first order logic
sequent calculi
information retrieval
three dimensional
real time
information systems
lower bound
databases
real world
natural language
multi agent systems
special case