A Generalized Realizability and Intuitionistic Logic.

Aleksandr Yu. Konovalov

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
database
bayesian networks
normal form