Dual Identity Combinators :: Combinatory Logic Math Papers

twofold Identity CombinatorsCombinatory logic has been invented independently by M. Schnfinkel and H.B. primp in the 20s of this century (Cf. Schnfinkel 1924, Curry 1930.). The impetus was to reduce the number of crude(a) notions needed for a logical system, in circumstance, for first-order logic. Schnfinkel used functions to provide a translation for a closed first-order formula into a functional expression, thereby eliminating bound variables of first-order logic. About the success of this attempt cf. Curry & Feys 1968 beyond this primarily intended connection between first-order logic and (illative) combinable logic there is another connection between the two, the so called Curry-Howard isomorphism (Curry & Feys 1968, Howard 1980). This relates combinators to implicational formulae. It is just a small step from the Curry-Howard isomorphism to put combinatory bases (which atomic number 18 possibly combinatorially non-complete) into correspondence with logical systems. It is well-known, e.g., that the relevant system R corresponds in the above sense to the combinatory base B, C, W, I. Of course, such(prenominal) combinatory bases are not unique just as axiomatizations are not unique. For instance, the combinatory base B, C, S, I is equally suitable. (Cf. Dunn 1986.)1. Dual combinators.Pure combinators operate on left wing associated dates of objects. The result of an application of a combinator is a sequence made out of some of the objects on the left (possibly with repetitions) and parentheses scattered across( . . . ( ( Q x1 ) . . . ) xn ) ( xi 1 . . . xi m )where either xi j (1 j m) is xk (1 k n) for some k , and the sequence on the right world power be associated arbitrarily. The parentheses on the left of the identity are frequently dropped, since left association is taken to be the default. To take out the most familiar combinators as an illustration of the above general financial statement we haveSxyz xz(yz), Kxy x, Ix x, Bxyz x(yz) , Cxyz xzy, Wxy xyy.Using the combinatory axioms above we can touch on the notions of one-step reduction (4 1), of reduction (4 ), and of weak equality (=w) as usual. (For an opening to combinatory logic see e.g., Hindley & Seldin 1986.) In case where one is implicated in a combinatory base which is not combinatorially complete it might be useful to emphasize that the above notions are restricted to the particular combinatory base.