A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.

Mai Gehrke Tomás Jakl Luca Reggio

Published in: CoRR (2020)

Keyphrases

logic programming
linear programming
traveling salesman problem
predicate logic
quantitative measures
natural language
first order logic
modal logic
deontic logic
real time
neural network
logic programs
quality measures
classical logic
computational properties
sound and complete axiomatization