[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.


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