Adding an Abstraction Barrier to ZF Set Theory.

Ciarán Dunne J. B. Wells Fairouz Kamareddine

Published in: CICM (2020)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
algebraic geometry
fuzzy sets
mathematical morphology
rough set theory
rough sets
probability theory
artificial intelligence
description logics
databases
fuzzy logic
data streams
natural language
cooperative
image processing