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)

    My advice to people today is as follows: If you take the game of life seriously, if you take your nervous system seriously, if you take your sense organs seriously, if you take the energy process seriously, you must turn on, tune in, and drop out.
    Timothy Leary (b. 1920)

    Justice in the hands of the powerful is merely a governing system like any other. Why call it justice? Let us rather call it injustice, but of a sly effective order, based entirely on cruel knowledge of the resistance of the weak, their capacity for pain, humiliation and misery. Injustice sustained at the exact degree of necessary tension to turn the cogs of the huge machine-for- the-making-of-rich-men, without bursting the boiler.
    Georges Bernanos (1888–1948)

    So was produced this tragedy
    In a far tower of ivory
    Where, O young men, late in the night
    All you who drink light and stroke the air
    Come back, seeking the night, and cry
    To strict Rapunzel to let down her hair.
    Allen Tate (1899–1979)