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:

    Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?”
    Horace Walpole (1717–1797)

    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)

    A marriage based on full confidence, based on complete and unqualified frankness on both sides; they are not keeping anything back; there’s no deception underneath it all. If I might so put it, it’s an agreement for the mutual forgiveness of sin.
    Henrik Ibsen (1828–1906)

    The one prudence in life is concentration; the one evil is dissipation: and it makes no difference whether our dissipations are coarse or fine; property and its cares, friends and a social habit, or politics, or music, or feasting. Everything is good which takes away one plaything and delusion more, and drives us home to add one stroke of faithful work.
    Ralph Waldo Emerson (1803–1882)