A Guide to Krivine Realizability for Set Theory.

Richard Matthews

Published in: CoRR (2023)

Keyphrases

set theory
fuzzy set theory
first order logic
partial order
rough sets
rough set theory
mathematical morphology
fuzzy sets
algebraic geometry
decision rules
information retrieval
real time
medical images
data structure
temporal logic
genetic algorithm
neural network