A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object.

Published in: MOL (2017)

Keyphrases

proof theoretic
proof theory
model theoretic
default reasoning
nonmonotonic reasoning
fixpoint
linear logic
constraint logic programming
deductive databases
logic programming
logic programs
description logics
wordnet
database systems
semantic web
decision procedures
cut elimination