The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective.
Alexandre BuissePeter DybjerPublished in: MFPS (2008)
Keyphrases
- linear logic
- interval valued
- theorem prover
- fuzzy set theory
- fuzzy numbers
- classical logic
- logical framework
- high level
- viewpoint
- natural deduction
- fuzzy information
- image interpretation
- theoretical foundation
- theoretical framework
- fuzzy logic
- formal theory
- intuitionistic fuzzy sets
- theoretical basis
- real valued
- fixed point
- computational model
- decision making
- artificial intelligence
- information retrieval