Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic.

Nicolas D. Goodman

Published in: J. Symb. Log. (1984)

Keyphrases

arithmetic operations
machine learning
data sets
databases
information retrieval
knowledge base
learning environment
search algorithm
artificial neural networks
theorem prover
floating point