Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic.

Peter Clote Kenneth McAloon

Published in: J. Symb. Log. (1983)

Keyphrases

consistency checking
digital topology
databases
artificial intelligence
arithmetic operations
knowledge base
database systems
cost function
constraint networks
floating point
temporal consistency