Canonical signed calculi with multi-ary quantifiers.

Anna Zamansky Arnon Avron

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

neural network
database systems
natural language
databases
social networks
image processing
special case
first order logic