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:

    On every formal visit a child ought to be of the party, by way of provision for discourse.
    Jane Austen (1775–1817)

    Daily life is governed by an economic system in which the production and consumption of insults tends to balance out.
    Raoul Vaneigem (b. 1934)

    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)

    Manners are the happy way of doing things; each once a stroke of genius or of love—now repeated and hardened into usage. They form at last a rich varnish, with which the routine of life is washed, and its details adorned. If they are superficial, so are the dewdrops which give such depth to the morning meadows.
    Ralph Waldo Emerson (1803–1882)