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)

    Loving feels lonely in a violent world,
    irrelevant to people burning like last year’s weed
    with bellies distended, with fish throats agape
    and flesh melting down to glue.
    We can no longer shut out the screaming
    That leaks through the ventilation system ...
    Marge Piercy (b. 1936)

    Language makes it possible for a child to incorporate his parents’ verbal prohibitions, to make them part of himself....We don’t speak of a conscience yet in the child who is just acquiring language, but we can see very clearly how language plays an indispensable role in the formation of conscience. In fact, the moral achievement of man, the whole complex of factors that go into the organization of conscience is very largely based upon language.
    Selma H. Fraiberg (20th century)

    This house was designed and constructed with the freedom of stroke of a forester’s axe, without other compass and square than Nature uses.
    Henry David Thoreau (1817–1862)