Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic.
Hongbiao GaoKai ShiYuichi GotoJingde ChengPublished in: COCOON (2013)
Keyphrases
- set theory
- fuzzy set theory
- first order logic
- rough sets
- partial order
- mathematical morphology
- rough set theory
- boolean algebra
- fuzzy sets
- model checker
- theorem proving
- algebraic geometry
- proof search
- pattern recognition
- proof procedure
- probability theory
- machine learning
- theorem prover
- databases
- fuzzy logic
- multi agent systems
- multiscale
- intuitionistic logic
- automated theorem provers