Generalized Realizability and Basic Logic.

Aleksandr Yu. Konovalov

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

Keyphrases

logic programming
multi valued
classical logic
set theory
data mining
modal logic
abductive reasoning
information retrieval
rough sets
digital circuits
predicate logic
deontic logic
asynchronous circuits
proof theory