Logic in Russell's Principles of Mathematics.

Gregory Landini

Published in: Notre Dame J. Formal Log. (1996)

Keyphrases

computer algebra
computer science
modal logic
formal logic
predicate logic
automated reasoning
classical logic
computational properties
defeasible logic
sound and complete axiomatization
neural network
truth values
theoretical framework
building blocks
data model
knowledge base
artificial intelligence