Article View: sci.logic
Article #486Re: Looking for references on IF-THEN-ELSE connectives
From: H. Enderton
Date: Sun, 15 Nov 1992 18:32
Date: Sun, 15 Nov 1992 18:32
14 lines
1165 bytes
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)
Technical Details
Message-ID:
<1992Nov15.183208.12611@math.ucla.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!wupost!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!ucla-ma!sonia!hbeReferences:
<POSEGGA.92Nov13122538@margaux.ira.uka.de>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!wupost!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!ucla-ma!sonia!hbe From: hbe@sonia.math.ucla.edu (H. Enderton) Subject: Re: Looking for references on IF-THEN-ELSE connectives Message-ID: <1992Nov15.183208.12611@math.ucla.edu> Sender: news@math.ucla.edu Organization: UCLA Mathematics Department References: <POSEGGA.92Nov13122538@margaux.ira.uka.de> Distribution: sci Date: Sun, 15 Nov 92 18:32:08 GMT Lines: 15