Set theory in predicate calculus with equality.
Martin W. BunderPublished in: Arch. Math. Log. (1983)
Keyphrases
- set theory
- predicate calculus
- first order logic
- theorem proving
- inference rules
- propositional logic
- formal model
- theorem prover
- partial order
- predicate logic
- knowledge representation
- fuzzy set theory
- semantic network
- database query languages
- mathematical morphology
- rough set theory
- information retrieval
- data mining
- probability theory
- gray scale
- databases