Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory.

Emanuele Frittaion

Published in: J. Symb. Log. (2023)

Keyphrases

set theory
fuzzy set theory
partial order
fuzzy sets
algebraic geometry
fuzzy logic
real time
rough sets
rough set theory
first order logic
real world
linear logic
probability theory
image processing
data mining
multi dimensional
co occurrence
fuzzy numbers
probabilistic model
expert systems
computer vision