Login / Signup
Harmonic Inferentialism and the Logic of Identity.
Stephen Read
Published in:
Rev. Symb. Log. (2016)
Keyphrases
</>
logic programming
modal logic
predicate logic
defeasible logic
automated reasoning
proof theory
set theory
classical logic
logical framework
artificial intelligence
data sets
probabilistic logic
search algorithm
bayesian networks
computer vision
data mining
epistemic logic
neural network