#partial-functions

? Strong Kleene, weak Kleene, Łukasiewicz: what actually differs between the tables?

I've been reading about how to reason with partially evaluated expressions, where some sub-expressions haven't been computed yet or failed. That led me to three-valued logics, and now I have three sets of truth tables on my desk that look almost identical.…