Logics of intuitionistic Kripke-Platek set theory.
Rosalie IemhoffRobert PaßmannPublished in: Ann. Pure Appl. Log. (2021)
Keyphrases
- set theory
- fuzzy set theory
- modal logic
- inference rules
- classical logic
- first order logic
- fuzzy sets
- temporal logic
- theorem prover
- fuzzy logic
- linear logic
- probability theory
- desirable properties
- natural deduction
- algebraic geometry
- logical framework
- rough set theory
- partial order
- fuzzy numbers
- mathematical morphology
- default logic
- model checking
- cut elimination
- probability distribution
- image analysis
- data structure
- real world
- neural network
- databases