Login / Signup
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