A theory of classes and individuals based on a 3-valued significance logic.

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

Keyphrases

finite model theory
formal theory
computer algebra
theoretical framework
multi valued
proof theory
deductive reasoning
computational model
commonsense reasoning
mathematical theory
logical framework
general theory
data sets
genetic algorithm
probability theory
modal logic
logic programming
information systems