On the likelihood of normalization in combinatory logic.

Maciej Bendkowski Katarzyna Grygiel Marek Zaionc

Published in: J. Log. Comput. (2017)

Keyphrases

predicate logic
logic programming
set theory
preprocessing
multi valued
maximum likelihood
automated reasoning
classical logic
dynamic logic
nonmonotonic logics
asynchronous circuits
proof theory
search algorithm
normalization method
deontic logic
defeasible logic
likelihood ratio
log likelihood