Property
Since every formula in the antecedent (the left side) must be true to conclude the truth of at least one formula in the succedent (the right side), adding formulas to either side results in a weaker sequent, while removing them from either side gives a stronger one.
Read more about this topic: Sequent
Famous quotes containing the word property:
“To throw obstacles in the way of a complete education is like putting out the eyes; to deny the rights of property is like cutting off the hands. To refuse political equality is like robbing the ostracized of all self-respect, of credit in the market place, of recompense in the world of work, of a voice in choosing those who make and administer the law, a choice in the jury before whom they are tried, and in the judge who decides their punishment.”
—Elizabeth Cady Stanton (1815–1902)
“A lawyer’s dream of Heaven: Every man reclaimed his own property at the resurrection, and each tried to recover it from all his forefathers.”
—Samuel Butler (1835–1902)
“Abscond. To “move” in a mysterious way, commonly with the property of another.”
—Ambrose Bierce (1842–1914)