Constructive truth and falsity in Peano arithmetic.

Hirohiko Kushida

Published in: J. Log. Comput. (2021)

Keyphrases

truth values
inference rules
multi valued
floating point
fixpoint
arithmetic operations
real time
data sets
machine learning
clustering algorithm
three dimensional
high level
multiscale
space filling curves
valued logic
open shop scheduling