Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

John O. McKellar (ship) certificates, 1952-1983.

The John O. McKellar was a ship that belonged to the Scott Misener fleet. The first ship named after McKellar was launched on Januaray 25, 1929, from Wallsend, England, and was bound for Sault St. Marie, Ontario. This ship became part of the Colonial Steamship Company in 1950, and in 1952 was renamed the J.G. Irwin when construction of a new John O. McKellar was completed. John Oscar McKellar was born on June 28, 1878 in Lobo Township, Middlesex County, west of London, Ont. He worked as a marine engineer, and became acquainted with Robert Scott Misener when the two were shipmates serving with the Algoma central fleet. In 1919, the two men joined forces to run a shipping company. Together, they purchased the wooden steamer "Simon Langell", and worked together on the ship for the next three years. Throughout his career with Misener's company, John McKellar served as Chief Engineer, then Marine Superintendent, and finally Secretary-Treasurer. He died on September 19, 1951.

Burgoyne Centre for Entrepreneurship fonds

An Entrepreneurship Centre was established at Brock University in 1988 as a joint venture between the University and the City of St. Catharines. In Januaray 1989, a generous donation was made to the Centre by the Burgoyne family, proprietors of the St. Catharines Standard. The Centre subsequently became known as the Burgoyne Centre for Entrepreneurship (BCE). The Centre’s mission was to “promote excellence in research, education and training for entrepreneur development and new venture creation”. To achieve this objective, it was necessary for the BCE to become a community focal point and serve as a link between academic, private and government sectors in the Niagara Region that were involved in entrepreneurial activities. This was primarily done with the provision of educational programs offered through cooperating organizations. Funding for the Centre came from multiple sources, including fees for services and contract research, endowments and grants, as well as Brock University. An Advisory Council, composed of local prominent businesspeople and chaired by Henry Burgoyne, assisted the Centre with promotion and fundraising. The partnerships established by the BCE with other community bodies such as the Lincoln County Board of Education and the Niagara Region Development Corporation resulted in important collaborative community initiatives such as the Niagara Enterprise Agency and the New Enterprise Store. Such collaborations increased the Centre’s profile without duplicating or competing with services offered by existing agencies. The BCE was also instrumental in establishing an entrepreneurship curriculum for secondary school students, and collaborated with the Faculty of Education at Brock University to offer an Ontario Secondary School Entrepreneurship Specialist Teaching Certificate Program to teachers. As the BCE became more prolific in the community, and the iniatives it fostered in the community began to thrive, the Centre’s leadership required the authority to make instantaneous decisions. This was at odds with the hierarchical structure of the University, to which the BCE was accountable. Ultimately, this situation led to the demise of the Centre. The university focused its efforts on academic research and undergraduate courses, while the community partners took responsibility for any joint programs.

Registration of a Birth - Edith Louise Cowan

A birth registration for Edith Louise Cowan. The birth is dated as August 24, 1885, and the date of issue for the certificate is November 8, 1927. Place of birth, Thorold. County of Welland.

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.

Canadian Businessman of the Year Award - 2007

An award certificate given to Donald Ziraldo April 18, 2007 at the 17th Annual Business Appreciation Dinner (Buffalo Marriott Niagara, Amherst, New York).

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.

Letter - E.C. Schmon to Arthur A. Schmon, 29 March 1919

Eleanore Celeste mentions that to be a substitute teacher in Newark one must have a "normal school diploma or a certificate for those exams". She mentions that many people she knows "are being turned down right and left by the Board". The letter is labelled number 252.

Catherine Everingham land grant, 1802 [photocopy]

Catherine (Lemon) Everingham was the widow of James Everingham, a private with the first Battalion of Colo Delancys Regt. of the Jersey Volunteers. He died in the American Revolutionary War in 1796, leaving his wife and two children settled on two hundred acres of land in the Township of Willoughby. No certificate had been awarded to James Everingham for this land. Catherine subsequently petitioned the government to grant her the land that she had settled on with her family.

Dictionary of the Zeta Psi Fraternity of North America

A hardcover Dictionary of the Zeta Psi Fraternity, edited by Arthur H. Motley and Harry B. Carpenter. An excerpt from the forward reads: "Having the sincere purpose of placing in the hands of all Brothers of the Fraternity a Directory of the full membership of our order, with addresses as perfectly correct as time and equipment would permit, supplemented with such alphabetical and geographical indices as will make the volume a handy and accurate cross-reference to our membership...". Included with this book is a typewritten letter from Gordon Waldie, treasurer of the Toronto Chapter of the Zeta Psi Fraternity thanking Mrs. Percy Band for the gift of the original initiation certificate of the late Hamilton K. Woodruff. Mr. Woodruff was one of the Charter members of the Fraternity and he was the 7th man initiated into this, the first Canadian chapter of any fraternity. The letter is dated Nov. 21, 1949. The full text is available in the Brock University Special Collections and Archives.

Masonic photo album collection, Eureka Lodge #20, Prince Hall, Toronto, ca. 1970s-1980s

The collection consists of two photo albums from Eureka Lodge #20, Prince Hall, Toronto, Ontario. The first album consists of 57 colour photographs of Black Shriners and Masons, some featuring a trip to Puerto Rico, circa 1970. Several loose items are enclosed, including photographs, news clippings, and a certificate. The second album contains 26 colour photographs, and 9 loose photographs, circa 1980. Includes photographs of Arthur Downes, one of Canada’s first Black Canadian Grand Masters and Joe Halstead (Order of Canada). Most of the photographs feature members in the lodge interior.

Letter - P. Mason to S.D. Woodruff

Letter from P. Mason of Ottawa to S.D. Woodruff stating that a certificate has been issued to pay full compensation for all the damage to lots 20 and 21 in the 5th Concession in Grantham by the overflow of the Welland Canal. A piece has been torn from the top of the letter. This does not affect the text, Sept. 24, 1880.

Letter to S.D. Woodruff from Fred Holmes

Letter to S.D. Woodruff from Fred Holmes saying that he received a letter from Mr. Greybell of Marshville stating that a cheque for A. Mains was waiting for a certificate of the engineer, Oct. 31, 1856.

Percy Carruthers Band fonds, 1857-2005, n.d. (non-inclusive)

Percy Carruthers Band was born on November 27, 1892 in Toronto, Ontario to Charles Walter Band, a grain merchant and Jessie Camp Shaw Band. He graduated from Upper Canada College and became a broker. He worked at the Dominion Bank and then at Maple Leaf Milling Company. He was stationed at Port Colborne for a while. Before leaving for the front, he was with Bankers Bond Company of Toronto and is also listed as working with the firm of Bailey, Wood and Cross. Lieutenant Band received a Certificate of Military Qualifications on Dec. 24th, 1914. He received his Certificate of Military Instruction on Nov. 30, 1915. He received these certificates while with the 48th Regiment (Highlanders). He enlisted in 1914 and went overseas in August of 1915 as an officer in the 35th Battalion. By August 26, 1915, he is listed as being with the 23rd Reserve Battalion. A year later, in August of 1916 Lieutenant Band arrived in France and was posted to the 2nd Battalion – “The Second Iron”. In 1916, Band was the victim of shell shock received during a charge. He was wounded in April of 1917 at Vimy Ridge yet he remained on duty. At this time he received a gunshot wound to his right jaw. He earned a promotion to Captain on September 16th, 1917. He was wounded again in November of 1917 at Passchendaele where he suffered a gunshot wound to the ear. For his courage and determination Percy Band received the Military Cross on February 18, 1918. He led his company under difficult circumstances even though he was wounded. He was awarded a bar to the Military Cross for gallantry during a successful attack on two villages on December 2nd, 1918. During this attack he led his company against enemy machine guns. It is said that he displayed exceptional leadership qualities and skill during this time. On the 30th of August in 1918, he made a daring reconnaissance to the front under heavy fire in an attack on Upton Wood. He was also commended on his gallantry during attacks on Cagnicourt and the Canal du Nord in September of 1918. He was awarded the second bar to the Military Cross on February 1, 1919. The award of the Croix de Guerre was conferred on Captain Percy Carruthers Band by the President of the French Republic on December 15th, 1918 for distinguished service rendered during the course of the campaign. His general demobilization took place on April 25, 1919. Percy Band married Margaret Julia Woodruff on November 25, 1919, and they had three children: Charles Woodruff Band (1921), Margaret Elizabeth Band (1924) and Robert DeVeaux Woodruff Band (1927). After the war, Mr. Band was a manager at Geo. Weston Bread and Cakes Limited, St. Catharines. Percy Band was also an avid collector. His collections included antique toys and art. He died suddenly on May 19, 1961. The Toronto Telegram published this about him: “Captain Percy Carruthers Band, M.C. with two Bars, Croix de Guerre with Palm – was an officer whose buoyant spirit and gallantry mirrored the vibrant soul of the Battalion. Blythe of heart, yet endowed with a fine sense of responsibility, he gave inspired leadership of No. 3 Company.”

Droits de propriété intellectuelle et protection des plantes: approches, limites et perspectives

Le droit de la propriété intellectuelle présente, depuis quelques années, un intérêt particulier à l'évolution de la recherche sur les plantes. Ceci s'est traduit, au plan international, par l'adoption de plusieurs instruments visant à assurer une meilleure protection des investissements consentis dans ce domaine. Il s'agit notamment de la Convention de l'UPOV, qui s'inscrit dans une logique de protection par la voie sui generis avec la possibilité de délivrance de certificat d'obtention végétale aux sélectionneurs; de l'Accord ADPIC, qui, en plus de recommander un système sui generis efficace, ouvre l'option de protection par brevet ou en définitive par le cumul des deux systèmes; de la Convention sur la Diversité Biologique (CDB) et du Traité de la FAO portant sur les ressources phytogénétiques pour l'alimentation et l'agriculture, qui, favorables aux deux précédentes formes de protection, demandent que soient prises en compte des considérations relatives aux droits souverains des pays sur leurs ressources végétales, au partage des bénéfices, etc. Au plan régional, on distingue, entre autres, l'initiative de l'Afrique, visant à assurer la protection des plantes suivant une logique partagée entre l'alignement sur les normes internationales existantes (Accord de Bangui) ou l'institution d'une autre législation originale qui reflète les réalités et préoccupations du continent (Loi modèle). Il apparaît donc qu'il existe plusieurs instruments pour cerner la même réalité. Ceci est forcément la source de quelques difficultés qui sont d'ordre conceptuel, socioéconomique, environnemental et juridique. Pour les pallier, il est important que certaines conditions soient satisfaites afin d'harmoniser les points de vue entre les différents acteurs concernés par la question et d'assurer une appropriation conséquente des instruments adoptés.