The philosophy of logic.

Published in: Bull. Symb. Log. (2012)

Keyphrases

modal logic
logic programming
artificial intelligence
classical logic
multi valued
sound and complete axiomatization
predicate logic
data sets
database
decision making
cognitive science
search engine
machine learning
neural network
set theory
databases
abductive reasoning
asynchronous circuits