Markov's Rule Is Admissible in the Set Theory with Intuitionistic Logic.
Khakhanian V. KhPublished in: Kurt Gödel Colloquium (1997)
Keyphrases
- set theory
- intuitionistic logic
- model checker
- fuzzy set theory
- partial order
- first order logic
- classical logic
- rough sets
- linear logic
- rough set theory
- mathematical morphology
- fuzzy sets
- natural deduction
- association rules
- image processing
- state space
- normal form
- proof theoretic
- conditional independence
- data mining
- machine learning
- artificial intelligence
- theorem proving
- inference rules
- temporal logic
- databases