🚀 go-pugleaf

I am looking for references on ternary IF-THEN-ELSE connectives in
logic. Church, for instance, treats expressions of the form [A,B,C],
meaning "(B -> A) & (~B -> C)", in his book "Introduction to
mathematical logic".

Does anyone know of other papers/books on this? I am aware of Bauer &
Wirsing (1991), Orlowska (1967 and 1969), and Shannon (1938).

I am not looking for references on BDDs, which are closely related to
this, but on publications written from a logical point of view. The
reason I am asking is that I am writing a paper on BDDs and intend to
give a brief description of the (historical) background. So, references
to early publications are appreciated as well.

As this is probably not of general interest, please respond by email.

Thanks in advance

	Joachim.