Some model-theoretic correspondences between dimension groups and AF algebras.

Philip Scowcroft

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
decision procedures
operational semantics
logic programs
default reasoning
fixpoint
probabilistic reasoning
database
logic programming
reasoning problems
database systems
modal logic
presburger arithmetic