On the Constructive Truth and Falsity in Peano Arithmetic.

Hirohiko Kushida

Published in: LFCS (2020)

Keyphrases

truth values
inference rules
arithmetic operations
multi valued
fixpoint
floating point
data sets
image segmentation
digital libraries
valued logic
database systems
search algorithm
space filling curves