Massachusetts militia claims : letter from the Secretary of War, transmitting, in pursuance of a resolution of the House of Representatives of the 15th Dec., 1826, a report upon the subject of the claims of the State of Masachusetts for certain services rendered during the late war.--

20th Congress, 2nd session. House Doc. no.3.

An examination of the effects on learning seen in children afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences

Children were afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences. The following was predicted: a) children and adults in the self-regulated (SELF) groups would produce faster movement (MT) and reaction times (R T) and greater recall success (RS) during retention compared to the age-matched yoked (YOKE) groups; b) children would choose to switch sequences less often than adults; c) adults would produce faster MT and RT and greater RS than the children during acquisition and retention, independent of experimental group. During acquisition, no effects were seen for RS, however for MT and RT there was a main effect for age as well as block. During retention a main effect for practice condition was seen for RS and failed to reach statistical significance for MT and RT, thus partially supporting our first and second hypotheses. The third hypothesis was not supported.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Letter from the Adjutant General's Office in York. March 10th, 1820

This letter discusses an Order in Council put out in January of the same year concerning the First Flank Company. It discusses those that served in June to December of 1812 and those who joined afterward. It is addressed to Col. Clark of the 2nd Regiment of the Lincoln Militia

Massachusetts Militia Claims

Full Title: Massachusetts militia claims : letter from the Secretary of War, transmitting, in pursuance of a resolution of the House of Representatives of the 15th Dec., 1826, a report upon the subject of the claims of the State of Massachusetts for certain services rendered during the late war 20th Congress, 2nd session. House Doc. no.3. Caption title. May 10, 1828 - Read, and laid upon the table. December 5, 1828- Printed by order of the House of Representatives.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

The true history regarding alleged connection of the order of ancient, free and accepted Masons: with the abduction and murder of William Morgan in western New York, in 1826... (1886)

Cover title: Masonic light on the abduction and murder of Wm. Morgan.

Blue book for the use of subordinate divisions of the order of the Sons of Temperenance (1867)

Inscribed on front paste-down: Rothschild division No.227; and in pencil: James Jackson; and on front free endpaper: Presented to James M Clark By Mrs Amanda Burns Robert at Stayner 25 Aug. 1878.

Certificate of Acceptance and Initiation to Canadian Order Chosen Friends - Thomas Cowan

A certificate of initiation and acceptance to the Canadian Order Chosen Friends, Thomas Cowan. The certificate reads "This certifies that evidence has been received that Thomas Cowan has been accepted and initiated by the Council name below, and has thus become a member of the Canadian Order of Chosen Friends, and entitled to all the rights and privileges of membership and a benefit of not exceeding one thousand dollars from the relief fund of said order, which shall in case of death be paid to Annie Cowan his wife in the manner and subject to the conditions set forth in the laws governing said relief fund and in the application for membership. This certificate to be in force and binding when accepted in writing by the said member, with the acceptance attested by the Councilor and Recorder and the seal of the Subordinate Council affixed, so long as said member shall comply with the requirements of the Constitution, Laws and Regulations now in force or hereafter adopted for the government of the Order: otherwise, and also in the case of granting of a new certificate, to be null and void. In witness whereof, we have hereunto attached our signatures, and affixed the seal of the Grand Council of the Canadian Order of Chosen Friends. Dated the Twenty Seventh day of July, A.D. 1891." The front and back of the certificate are available for viewing.

Grand Lodge of Ontario Independent Order of Odd Fellows - William H. Cowan

A certificate from the Grand Lodge of Ontario Independent Order of Odd Fellows to brother William H. Cowan. He has been admitted as a member of Livingstone Lodge No. 130 at Merritton 19 October 1909. The certificate is signed and dated by W. Brooks (Secretary) and S.A. Poplestoise (Grand Master) December 7, 1911. Cowan received the Degree of Truth.

2nd Annual CIBPA Awards for Excellence, 2002

A certificate award from the Canadian Italian Business and Professional Association of Niagara. Mr. Ziraldo is presented with the Business Excellence award on October 26, 2002. The certificate is signed by Walt Lastewka, M.P. Caucus Advocate for SME's.

Order of Service for the Honour Roll Unveiling - 10 June, 1945

A dedication service program for those who gave their lives during World War II from the city of St. Catharines. The list of over 150 names was to be read aloud and an address made by the Mayor (W.J. Macdonald) with prayers and hymn to follow.

Order to create a General Board of Health in the Town of Niagara, June 25, 1832

In the early nineteenth century, a widespread outbreak of cholera occurred in continental Europe, eventually spreading to the British Isles. The disease subsequently spread to Canada as impoverished British immigrants seeking a better life arrived in the country. To help curb the spread of the disease, local Boards of Health were created.