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:

    True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....
    Marcel Proust (1871–1922)

    Psychoanalysis is an attempt to examine a person’s self-justifications. Hence it can be undertaken only with the patient’s cooperation and can succeed only when the patient has something to gain by abandoning or modifying his system of self-justification.
    Thomas Szasz (b. 1920)

    Italy is such a delightful place to live in if you happen to be a man. There one may enjoy that exquisite luxury of Socialism—that true Socialism which is based not on equality of income or character, but on the equality of manners. In the democracy of the caffè or the street the great question of our life has been solved, and the brotherhood of man is a reality. But it is accomplished at the expense of the sisterhood of women.
    —E.M. (Edward Morgan)

    Now what sort of man or woman or monster would stroke a centipede I have ever seen? “And here is my good big centipede!” If such a man exists, I say kill him without more ado. He is a traitor to the human race.
    William Burroughs (b. 1914)