A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Wojciech Moczydlowski

Published in: CoRR (2007)

Keyphrases

set theory
fuzzy set theory
fuzzy sets
fuzzy logic
rough set theory
partial order
first order logic
mathematical morphology
rough sets
algebraic geometry
theorem prover
interval valued
boolean algebra
artificial intelligence
description logics
fuzzy numbers