Looking for references on IF-THEN-ELSE connectives

Thread View: sci.logic

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Joachim Posegga Fri, 13 Nov 1992 11:25

#368

Author: Joachim Posegga
Date: Fri, 13 Nov 1992 11:25

20 lines
1321 bytes

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.

Re: Looking for references on IF-THEN-ELSE connectives

#486

Author: H. Enderton
Date: Sun, 15 Nov 1992 18:32

14 lines
1165 bytes

In article <POSEGGA.92Nov13122538@margaux.ira.uka.de>
posegga@margaux.ira.uka.de (Joachim Posegga) writes:
>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).

A number of older works treating this ternary connective can be
found by looking in the JSL subject indexes (volumes 26 and 45)
under "conditioned disjunction."

---Herb Enderton    (hbe@math.ucla.edu)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads