Login / Signup
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