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 bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“I candidly confess that I have ever looked on Cuba as the most interesting addition which could ever be made to our system of States. The control which, with Florida, this island would give us over the Gulf of Mexico, and the countries and isthmus bordering on it, as well as all those whose waters flow into it, would fill up the measure of our political well-being.”
—Thomas Jefferson (1743–1826)
“Both magic and religion are based strictly on mythological tradition, and they also both exist in the atmosphere of the miraculous, in a constant revelation of their wonder-working power. They both are surrounded by taboos and observances which mark off their acts from those of the profane world.”
—Bronislaw Malinowski (1884–1942)
“We are double-edged blades, and every time we whet our virtue the return stroke straps our vice. Where is the skillful swordsman who can give clean wounds, and not rip up his work with the other edge?”
—Henry David Thoreau (1817–1862)