On the theory of inconsistent formal systems.

Newton C. A. da Costa

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

Keyphrases

formal methods
decision making
data sets
social networks
computer systems
formal languages
topics covered include
artificial intelligence
decision trees
mathematical theory