On Measure Quantifiers in First-Order Arithmetic (Long Version).

Melissa Antonelli Ugo Dal Lago Paolo Pistone

Published in: CoRR (2021)

Keyphrases

first order logic
similarity measure
higher order
natural language
pairwise
information content
database
information systems
inference rules
dissimilarity measure
floating point