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)

    For us necessity is not as of old an image without us, with whom we can do warfare; it is a magic web woven through and through us, like that magnetic system of which modern science speaks, penetrating us with a network subtler than our subtlest nerves, yet bearing in it the central forces of the world.
    Walter Pater (1839–1894)

    A two-parent family based on love and commitment can be a wonderful thing, but historically speaking the “two-parent paradigm” has left an extraordinary amount of room for economic inequality, violence and male dominance.
    Stephanie Coontz (20th century)

    All I have to do
    is hear his name
    and every hair on my body
    just bristles with desire.
    When I see
    the moon of his face,
    this frame of mine
    oozes sweat like a moonstone.
    When that man
    as dear to me as breath
    steps close enough to me
    to stroke my neck,
    the thought of jealousy
    is shattered in my heart
    that’s hard as diamond
    sometimes.
    Amaru (c. seventh century A.D.)