A one axiom set theory based on higher order predicate calculus.
Martin W. BunderPublished in: Arch. Math. Log. (1983)
Keyphrases
- set theory
- predicate calculus
- first order logic
- lambda calculus
- higher order
- inference rules
- theorem proving
- propositional logic
- knowledge representation
- theorem prover
- natural images
- formal model
- rough sets
- fuzzy set theory
- high order
- predicate logic
- databases
- fuzzy sets
- decision making
- probability theory
- mathematical morphology
- partial order
- fuzzy logic
- information retrieval
- machine learning
- neural network