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 formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“We recognize caste in dogs because we rank ourselves by the familiar dog system, a ladderlike social arrangement wherein one individual outranks all others, the next outranks all but the first, and so on down the hierarchy. But the cat system is more like a wheel, with a high-ranking cat at the hub and the others arranged around the rim, all reluctantly acknowledging the superiority of the despot but not necessarily measuring themselves against one another.”
—Elizabeth Marshall Thomas. “Strong and Sensitive Cats,” Atlantic Monthly (July 1994)
“Foster the labor of our country by an undeviating metallic currency ... always recollecting that if labor is depressed neither commerce nor manufactures can flourish, as they are both based upon the production of labor, produced from the earth, or the mineral world.”
—Andrew Jackson (1767–1845)
“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)