Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?

Maria Emilia Maietti Silvio Valentini

Published in: Math. Log. Q. (1999)

Keyphrases

computational intelligence
set theory
fuzzy set theory
fuzzy sets
fuzzy logic
artificial intelligence
fuzzy numbers
algebraic geometry
artificial neural networks
rough sets
first order logic
rough set theory
partial order
mathematical morphology
boolean algebra
theorem prover
databases
natural language
linear logic