Logic of Combinatory Logic.

Simona Kasterovic Silvia Ghilezan

Published in: CoRR (2022)

Keyphrases

logic programming
automated reasoning
classical logic
modal logic
multi valued
digital circuits
predicate logic
sound and complete axiomatization
data sets
neural network
data mining
expert systems
probability theory