Login / Signup
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
Maurice L'Abbe
Published in:
J. Symb. Log. (1951)
Keyphrases
</>
propositional calculus
axiomatic characterization
conditional independence
knowledge base
database
first order logic
databases
machine learning
bayesian networks
data structure