A constructive consistency proof of a fragment of set theory.

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

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
mathematical morphology
theorem prover
rough set theory
fuzzy sets
rough sets
algebraic geometry
bayesian networks
probability distribution
fuzzy logic
co occurrence
description logics
gray scale