Login / Signup
Axioms for definability and full completeness.
Samson Abramsky
Published in:
Proof, Language, and Interaction (2000)
Keyphrases
</>
propositional logic
first order logic
fixed point
knowledge base
finitely representable
natural language
formal proofs
real time
data sets
genetic algorithm
feature selection
probabilistic model
complete axiomatization