Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.
Ray-Ming ChenMichael RathjenPublished in: Arch. Math. Log. (2012)
Keyphrases
- set theory
- fuzzy set theory
- fuzzy sets
- fuzzy logic
- nonmonotonic reasoning
- rough set theory
- stable models
- fuzzy numbers
- algebraic geometry
- linear logic
- first order logic
- logic programs
- theorem prover
- logic programming
- answer set programming
- image processing
- partial order
- default logic
- belief revision
- multi dimensional
- rough sets
- computational intelligence
- data mining