Predicate calculus and naive set theory in pure combinatory logic.
Martin W. BunderPublished in: Arch. Math. Log. (1981)
Keyphrases
- set theory
- predicate calculus
- first order logic
- theorem proving
- lambda calculus
- inference rules
- proof procedure
- knowledge representation
- propositional logic
- theorem prover
- formal model
- semantic network
- predicate logic
- partial order
- mathematical morphology
- incomplete information
- rough set theory
- pattern recognition
- machine learning
- random variables
- fuzzy sets
- rough sets
- natural language processing
- high level
- decision making