[isabelle] Kleene's Ternary Logic



Is there an existing theory of Kleene's Termary Logic written is Isabelle?
A search didn't show up anything.

I need it for representing that predicates that reference unbound variables
are neither true nor false.

Thanks.
-Arthur



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.