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 manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“It would be enough for me to have the system of a jury of twelve versus the system of one judge as a basis for preferring the U.S. to the Soviet Union.... I would prefer the country you can leave to the country you cannot.”
—Joseph Brodsky (b. 1940)
“I have no acting technique.... I act instinctively. That’s why I can’t play any role that isn’t based on something in my life.”
—Ethel Waters (1900–1977)
“A stroke of the pen is better than a stroke of the sword, no?”
—Ernest Pascal, and Walter Lang. Wilhelm (Stanley Andrews)