Towards the Automation of Set Theory and its Logic.

Published in: Artif. Intell. (1978)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
mathematical morphology
rough sets
fuzzy sets
boolean algebra
algebraic geometry
rough set theory
model checker
probability theory
decision making
artificial intelligence
fuzzy logic
image analysis
image processing
knowledge base
data mining