Models of intuitionistic set theory in subtoposes of nested realizability toposes.

Samuele Maschio Thomas Streicher

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

set theory
fuzzy set theory
probabilistic model
rough sets
rough set theory
fuzzy sets
databases
real world
natural language
expert systems
image analysis
theoretical framework
first order logic
efficient implementation
theorem prover
linear logic