Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory.
Sy-David FriedmanWei LiTin Lok WongPublished in: Arch. Math. Log. (2016)
Keyphrases
- set theory
- algebraic geometry
- partial order
- first order logic
- boolean algebra
- mathematical morphology
- fuzzy set theory
- probability theory
- rough sets
- modal logic
- rough set theory
- model checking
- deductive databases
- fuzzy sets
- artificial intelligence
- real world
- description logics
- decision rules
- desirable properties
- denoising
- artificial neural networks
- pattern recognition
- knowledge base