Towards a Verified Prover for a Ground Fragment of Set Theory.

Published in: CoRR (2022)

Keyphrases

set theory
first order logic
theorem proving
theorem prover
fuzzy set theory
partial order
mathematical morphology
algebraic geometry
rough sets
rough set theory
fuzzy sets
data mining
probability theory
real time
random variables