An axiomatic approach to self-referential truth.

Harvey M. Friedman Michael Sheard

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

truth values
neural network
pattern recognition
prior knowledge
np hard
probability distribution
logic programs