Proof-Theoretic Semantics for Subsentential Phrases.

Nissim Francez Roy Dyckhoff Gilad Ben-Avi

Published in: Stud Logica (2010)

Keyphrases

proof theoretic
model theoretic
proof theory
nonmonotonic reasoning
default reasoning
linear logic
constraint logic programming
fixpoint
logic programs
logic programming
description logics
deductive databases
operational semantics
decision procedures
partial order
desirable properties