Choice and independence of premise rules in intuitionistic set theory.

Emanuele Frittaion Takako Nemoto Michael Rathjen

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

Keyphrases

set theory
fuzzy set theory
fuzzy sets
partial order
fuzzy logic
mathematical morphology
first order logic
rough sets
algebraic geometry
rough set theory
fuzzy relations
gray scale
association rules
theorem prover
neural network
real time
fuzzy numbers
conditional independence
knowledge base
probability theory