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:

    “The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
    —Angela Carter (1940–1992)

    “Our system is the height of absurdity, since we treat the culprit both as a child, so as to have the right to punish him, and as an adult, in order to deny him consolation.”
    —Claude Lévi-Strauss (b. 1908)

    “Our children evaluate themselves based on the opinions we have of them. When we use harsh words, biting comments, and a sarcastic tone of voice, we plant the seeds of self-doubt in their developing minds.... Children who receive a steady diet of these types of messages end up feeling powerless, inadequate, and unimportant. They start to believe that they are bad, and that they can never do enough.”
    —Stephanie Martson (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.)