A class of higher inductive types in Zermelo-Fraenkel set theory.

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

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
fuzzy sets
knowledge representation
gray scale
class labels
rough set theory
algebraic geometry
knowledge base
fuzzy logic
co occurrence
rough sets
multi dimensional
decision makers