Login / Signup
One True Logic?
Gillian Russell
Published in:
J. Philos. Log. (2008)
Keyphrases
</>
classical logic
modal logic
multi valued
machine learning
artificial intelligence
logic programming
automated reasoning
computational properties
deontic logic
intuitionistic logic
database
linear temporal logic
proof theory
predicate logic
set theory
image processing
data sets