Generalizations of the Kunen inconsistency.

Joel David Hamkins Greg Kirmayer Norman Lewis Perlmutter

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

classical logic
integrity checking
inconsistent information
database
data structure
databases
case study
search algorithm
user interface