Sheffer Stroke - Formal System Based On The Sheffer Stroke

Formal System Based On The Sheffer Stroke

The following is an example of a formal system based entirely on the Sheffer stroke, yet having the functional expressiveness of the propositional logic:

Read more about this topic:  Sheffer Stroke

Famous quotes containing the words formal, system, based and/or stroke:

    “It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
    —Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)

    “He could jazz up the map-reading class by having a full-size color photograph of Betty Grable in a bathing suit, with a co- ordinate grid system laid over it. The instructor could point to different parts of her and say, “Give me the co-ordinates.”... The Major could see every unit in the Army using his idea.... Hot dog!”
    —Norman Mailer (b. 1923)

    “The time must come, my friend ... when brutality and the lust for power must perish by its own sword.... For when that day comes, the world must begin to look for a new life, and it is our hope that they may find it here. For here we shall be, with their books, and their music, and a way of life based on one simple rule: Be kind.”
    —Robert Riskin (1897–1955)

    “Fair maid, white and red,
    Comb me smooth, and stroke my head;
    And every hair a sheave shall be,
    And every sheave a golden tree.”
    —George Peele (1559–1596)