Model-theoretic Imaginaries and Coherent Sheaves.

Ravi Rajani Mike Prest

Published in: Appl. Categorical Struct. (2009)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
decision procedures
logic programs
default reasoning
proof theoretic
fixpoint
probabilistic reasoning
integrity constraints
presburger arithmetic
logic programming
formal semantics
special case