A proof-theoretic universal property of determiners.

Published in: J. Appl. Log. (2015)

Keyphrases

proof theoretic
linear logic
default reasoning
model theoretic
proof theory
nonmonotonic reasoning
constraint logic programming
fixpoint
desirable properties
belief revision
query language
logic programming
partial order
deductive databases
probabilistic inference