Login / Signup
Model-Theoretic Properties Characterizing Peano Arithmetic.
Richard Kaye
Published in:
J. Symb. Log. (1991)
Keyphrases
</>
model theoretic
description logics
deductive databases
operational semantics
database
data management
np complete
desirable properties
default reasoning
fixpoint
decision procedures
proof theoretic