Formal Representation of Mathematics in a Dependently Typed Set Theory.

Feryal Fulya Horozal Chad E. Brown

Published in: Calculemus/MKM (2007)

Keyphrases

set theory
formal representation
partial order
conceptual graphs
first order logic
knowledge representation
fuzzy set theory
higher order
mathematical morphology
knowledge base
algebraic geometry
rough sets
rough set theory
fuzzy sets
description logics