Login / Signup
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I.
Boleslaw Sobocinski
Published in:
Notre Dame J. Formal Log. (1974)
Keyphrases
</>
classification rules
propositional logic
rule learning
relational databases
first order logic