A Mechanized Translation from Higher-Order Logic to Set Theory.

Alexander Krauss Andreas Schropp

Published in: ITP (2010)

Keyphrases

set theory
higher order logic
higher order
theorem prover
first order logic
conditional logic
fuzzy set theory
partial order
rough set theory
logical framework
rough sets
fuzzy sets
mathematical morphology
belief revision
pairwise
inference rules
image processing
probability theory
decision rules
description logics