Tarski's conception of logic.

Solomon Feferman

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

logic programming
modal logic
classical logic
neural network
data mining
predicate logic
formal theory
real time
information retrieval
knowledge base
automated reasoning
multi valued
probabilistic logic
defeasible logic
proof theory