Concept tag
#partial-functions
-
Strong Kleene, weak Kleene, Łukasiewicz: what actually differs between the tables?
I build machine learning systems, and 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…
Started by Pieter de Jong4 replies220 views