Some Proofs of Independence in Axiomatic Set Theory.

Elliott Mendelson

Published in: J. Symb. Log. (1956)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
theorem prover
rough sets
mathematical morphology
rough set theory
conditional independence
probability theory
axiomatic characterization
algebraic geometry
fuzzy sets
possibility theory
artificial intelligence
resource allocation
fuzzy logic
multiscale