Anti-Platonic Logic and Mathematics.

Andrew Schumann

Published in: J. Multiple Valued Log. Soft Comput. (2013)

Keyphrases

computer algebra
formal logic
computer science
multi valued
database
databases
data mining
artificial intelligence
classical logic
search engine
expert systems
computer programming
logical framework
predicate logic
epistemic logic
proof theory