An alternate formulation of Kripke's theory of truth.

Published in: J. Philos. Log. (1979)

Keyphrases

theoretical framework
desirable properties
set theoretic
real world
representer theorem
real time
databases
genetic algorithm
computer vision
website
database systems
multiscale
temporal logic
inference rules
general theory