Intuitionistic nonstandard bounded modified realisability and functional interpretation.
Bruno DinisJaime GasparPublished in: Ann. Pure Appl. Log. (2018)
Keyphrases
- linear logic
- interval valued
- image interpretation
- fuzzy numbers
- information retrieval
- functional analysis
- classical logic
- fuzzy set theory
- theorem prover
- database systems
- high level
- case study
- decision making
- artificial neural networks
- probabilistic model
- real valued
- decision trees
- image processing
- semantic interpretation
- fuzzy information
- learning algorithm
- real time