A Globally Sound Analytic Calculus for Henkin Quantifiers.

Matthias Baaz Anela Lolic

Published in: LFCS (2020)

Keyphrases

data mining
information retrieval
real world
case study
natural language
database
databases
expressive power
linear logic
computer algebra
database query languages