Truth definitions, Skolem functions and axiomatic set theory.

Jaakko Hintikka

Published in: Bull. Symb. Log. (1998)

Keyphrases

set theory
first order logic
valued logic
partial order
fuzzy set theory
rough sets
fuzzy sets
inference rules
propositional logic
algebraic geometry
knowledge representation
mathematical morphology
rough set theory
neural network
image analysis
gray scale
color images
decision making