On omega;-Inconsistency and a So-Called Axiom of Infinity.

Willard Van Orman Quine

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

Keyphrases

modal logic
classical logic
integrity checking
artificial intelligence
database
databases
metadata
mobile devices
email
description logics
inference rules