Albany Law Journal, Volumen44Weed, Parsons & Company, 1892 |
Dentro del libro
Resultados 1-5 de 11
Página 3
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
... PROOF 23.SECOND PROOF 28.THIRD PROOF 34.FOURTH PROOF 36.FIFTH PROOF 41.SIXTH PROOF 53.SEVENTH PROOF 58.EIGHTH PROOF 63.NINTH PROOF 68.TENTH PROOF 71.ELEVENTH PROOF 74.TWELFTH PROOF 78.THIRTEENTH PROOF 81.FOURTEENTH PROOF 85.FIFTEENTH PROOF ...
Página 2
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
... proofs in P but polynomially long proofs in Q we say that P is exponentially weaker than Q. The main open problem in propositional proof complexity is about the length of proofs and, in particular, it concerns proving (or more likely ...
Página 6
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
... proof in mathematics, about the role of proof in school mathematics, about difficulties in proving, about how proof should be taught in school, and about the self as mathematical thinker in the context of proof. The authors conclude by ...
Página 40
... proofs as it has been described here because among the proofs from which we abstract are those containing undischarged assumptions , giving us an abstract proof corresponding to each assumption [ 1 ] of absurdity . " The abstract proofs ...
... proofs as it has been described here because among the proofs from which we abstract are those containing undischarged assumptions , giving us an abstract proof corresponding to each assumption [ 1 ] of absurdity . " The abstract proofs ...
Página 150
... Proof-terms The proof-terms of our logical type theory, PT(IHL), are intended to represent proofs in IHL. Their grammar is given in Fig. 5.1. The grammar is given with respect to a denumerable set of proof-term variables, VarPT(IHL) ...
... Proof-terms The proof-terms of our logical type theory, PT(IHL), are intended to represent proofs in IHL. Their grammar is given in Fig. 5.1. The grammar is given with respect to a denumerable set of proof-term variables, VarPT(IHL) ...
Otras ediciones - Ver todas
Términos y frases comunes
action agent agreement alleged amount appears applied authority Bank bill cars cause cause of action charge cited claim commerce common carrier common law Constitution contract contributory negligence corporation counsel Court of Appeals creditors damages death debts deceased decision declaration defendant defendant's doctrine duty entitled error evidence execution executors exercise express fact fendant granted held Hurlbut injury interest John Gorton judge judgment June June 23 jurisdiction jury justice land Legislature liability marriage ment natural gas negligence opinion owner paid party payment person plaintiff plaintiff in error promissory note proof purchase purpose question Railroad Railroad Co Railway reason received recover regulation rule statute statute of frauds suit supra Supreme Court testator tiff tion trial trust verdict wife witness words York
Pasajes populares
Página 197 - A communication made bona fide upon any subject-matter In which the party communicating has an interest, or in reference to which he has a duty, is privileged if made to a person having a corresponding interest or duty, although it contain criminatory matter, which, without this privilege, would be slanderous and actionable...
Página 168 - No county, city, town or village shall hereafter give any money or property, or loan its money or credit to or in aid of any individual, association or corporation, or become directly or indirectly the owner of stock in, or bonds of, any association or corporation; nor shall any such county, city, town or village be allowed to incur any indebtedness except for county, city, town or village purposes.
Página 111 - ... happening by chance; unexpectedly taking place; not according to the usual course of things; or not as expected;' that, if a result is such as follows from ordinary means, voluntarily employed, in a not unusual or unexpected way, it cannot be called a result effected by accidental means ; but that if, in the act which precedes the injury, something unforeseen, unexpected, unusual occurs which produces the injury, then the injury has resulted through accidental means.
Página 75 - It is a maxim, not to be disregarded, that general expressions, in every opinion, are to be taken in connection with the case in which those expressions are used. If they go beyond the case, they may be respected, but ought not to control the judgment in a subsequent suit, when the very point is presented for decision.
Página 5 - Slaves cannot breathe in England ; * if their lungs Receive our air, that moment they are free, They touch our country, and their shackles, fall.
Página 75 - It is just and reasonable that such a contract, fairly entered into, and where there is no deceit practiced on the shipper, should be upheld. There is no violation of public policy. On the contrary, it would be unjust and unreasonable, and would be repugnant to the soundest principles of fair dealing and of the freedom of contracting, and thus in conflict with public policy, if a shipper should be allowed to reap the benefit of the contract if there is no loss, and to repudiate it in case of loss.
Página 171 - An alien may be admitted to become a citizen of the United States in the following manner, and not otherwise: "'First. He shall declare on oath before a circuit, or district court of the United States, or a district or supreme court of the Territories, or a court of record of any of the States having common-law jurisdiction, and a seal and clerk...
Página 283 - ... (1). He may store or retain the property for the vendee, and sue him for the entire purchase price. (2). He may sell the property, acting as the agent for this purpose of the vendee, and recover the difference between the contract price and the price obtained on such resale; or (3).
Página 31 - ... by which personal property was regarded as subject to the law of the owner's domicile, grew up in the Middle Ages, when movable property consisted chiefly of gold and jewels, which could be easily carried by the owner from place to place, or secreted in spots known only to himself. In modern times, since the great increase in amount and variety of personal property, not immediately connected with the person of the owner, that rule has yielded more and more to the lex situs, the law of the place...
Página 29 - No reason is perceived why, if Congress chooses to provide that certain designated subjects of interstate commerce shall be governed by a rule which divests them of that character at an earlier period of time than would otherwise be the case, it is not within its competency to do so.