Proof-Theoretic Reconstruction of Generalized Quantifiers.

Nissim Francez Gilad Ben-Avi

Published in: J. Semant. (2015)

Keyphrases

proof theoretic
linear logic
nonmonotonic reasoning
proof theory
default reasoning
constraint logic programming
model theoretic
natural language
fixpoint
machine learning
graphical models
logic programming
cut elimination