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:

    Then the justice,
    In fair round belly with good capon lined,
    With eyes severe and beard of formal cut,
    Full of wise saws and modern instances;
    And so he plays his part.
    William Shakespeare (1564–1616)

    The moral immune system of this country has been weakened and attacked, and the AIDS virus is the perfect metaphor for it. The malignant neglect of the last twelve years has led to breakdown of our country’s immune system, environmentally, culturally, politically, spiritually and physically.
    Barbra Streisand (b. 1942)

    The fetish of the great university, of expensive colleges for young women, is too often simply a fetish. It is not based on a genuine desire for learning. Education today need not be sought at any great distance. It is largely compounded of two things, of a certain snobbishness on the part of parents, and of escape from home on the part of youth. And to those who must earn quickly it is often sheer waste of time. Very few colleges prepare their students for any special work.
    Mary Roberts Rinehart (1876–1958)

    The stroke of the whip maketh marks in the flesh: but the stroke of the tongue breaketh the bones. Many have fallen by the edge of the sword: but not so many as have fallen by the tongue.
    Ecclesiasticus Apocrypha. Ecclesiasticus, 28:17-8.