Extensional realizability for intuitionistic set theory.

Emanuele Frittaion Michael Rathjen

Published in: J. Log. Comput. (2021)

Keyphrases

set theory
fuzzy set theory
partial order
fuzzy sets
rough set theory
fuzzy logic
linear logic
interval valued
fuzzy numbers
theorem prover
algebraic geometry
first order logic
mathematical morphology
neural network
rough sets
multiscale
information retrieval
morphological operations
sequential patterns
x ray