Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory.
Hongbiao GaoKai ShiYuichi GotoJingde ChengPublished in: ICMLC (2012)
Keyphrases
- set theory
- intuitionistic logic
- first order logic
- model checker
- partial order
- fuzzy set theory
- fuzzy sets
- rough set theory
- rough sets
- boolean algebra
- algebraic geometry
- theorem proving
- probability theory
- mathematical morphology
- neural network
- machine learning
- linear logic
- classical logic
- automated theorem provers
- belief change
- theoretical framework
- decision makers
- fuzzy logic
- genetic algorithm
- real world