Finiteness Axioms on Fragments of Intuitionistic Set Theory.

Riccardo Camerlo

Published in: Notre Dame J. Formal Log. (2007)

Keyphrases

set theory
fuzzy set theory
fuzzy sets
fuzzy logic
first order logic
rough set theory
theorem prover
fuzzy numbers
partial order
algebraic geometry
interval valued
linear logic
rough sets
mathematical morphology
artificial intelligence
probability theory
model checking
image processing
knowledge base
decision making