Notes on the mathematical aspects of Kripke's theory of truth.

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

inference rules
theoretical framework
general theory
temporal logic
mathematical theory
computer vision
computer algebra
databases
web services
similarity measure
data structure
quantum mechanics
mathematical expressions
fundamental principles
mathematical concepts