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)
“Social and scientific progress are assured, sir, once our great system of postpossession payments is in operation, not the installment plan, no sir, but a system of small postpossession payments that clinch the investment. No possible rational human wish unfulfilled. A man with a salary of fifty dollars a week can start payments on a Rolls-Royce, the Waldorf-Astoria, or a troupe of trained seals if he so desires.”
—John Dos Passos (1896–1970)
“You know, there’s a cowboy movie where one joker says, “Mighty quiet out there. Too quiet,” he says. Same thing every time; it’s too quiet.”
—James Poe, U.S. screenwriter, and Based On Play. Robert Aldrich. Sergeant Costa (Jack Palance)
“So was produced this tragedy
In a far tower of ivory
Where, O young men, late in the night
All you who drink light and stroke the air
Come back, seeking the night, and cry
To strict Rapunzel to let down her hair.”
—Allen Tate (1899–1979)