Monadic Second Order Logic with Measure and Category Quantifiers.

Henryk Michalewski Matteo Mio Michal Skrzypczak

Published in: CoRR (2017)

Keyphrases

monadic second order logic
first order logic
distance measure
natural language
expert systems
low level
sufficient conditions