Realisability for infinitary intuitionistic set theory.

Merlin Carl Lorenzo Galeotti Robert Paßmann

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

Keyphrases

set theory
fuzzy set theory
fuzzy sets
fuzzy logic
rough set theory
fuzzy numbers
interval valued
linear logic
algebraic geometry
first order logic
rough sets
theorem prover
partial order
graphical models
data mining
artificial neural networks
databases