A Formal System of Axiomatic Set Theory in Coq.

Tianyu Sun Wensheng Yu

Published in: IEEE Access (2020)

Keyphrases

set theory
formal methods
first order logic
fuzzy set theory
partial order
mathematical morphology
rough sets
theorem prover
algebraic geometry
rough set theory
fuzzy sets
fuzzy logic
artificial neural networks
probability theory
genetic algorithm
neural network
formal specification
decision making