[isabelle] Kleene's Ternary Logic

Hello Arthur,

afaik you will have to distinguish these cases, independent of bound state,

a) a tautology, which is always true
b) the absurd, which is always false
c) there is an x s.th. p(x) is true, which really depends on the bound x



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.