On the Constructive Truth and Falsity in Peano Arithmetic.

Hirohiko Kushida

Published in: CoRR (2019)

Keyphrases

multiresolution
truth values
inference rules
multi valued
fixpoint
arithmetic operations
database
real time
information retrieval
image processing
multiscale
search algorithm
space filling curves