De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.

Robert Paßmann

Published in: CSL (2020)

Keyphrases

set theory
fuzzy set theory
fuzzy sets
rough set theory
fuzzy logic
algebraic geometry
partial order
fuzzy numbers
rough sets
first order logic
mathematical morphology
data structure
theorem prover
machine learning
interval valued
linear logic
theoretical framework
image segmentation
databases