The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.
Harvey FriedmanPublished in: J. Symb. Log. (1973)
Keyphrases
- set theory
- intuitionistic logic
- model checker
- partial order
- fuzzy set theory
- probability theory
- first order logic
- mathematical morphology
- fuzzy sets
- rough set theory
- rough sets
- natural deduction
- neural network
- gray scale
- fuzzy logic
- probabilistic model
- control system
- image processing
- linear logic
- artificial intelligence