Frege's theorem and the Peano postulates.

Published in: Bull. Symb. Log. (1995)

Keyphrases

belief revision
von neumann
belief update
desirable properties
databases
image processing
interactive theorem proving
database systems
multiscale
search algorithm