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.

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.

"I'm Your Biggest Fan, I'll Follow You ... " Lady Gaga, Little Monsters and the Religious Dimension of Fandom in Pop Music

This thesis examines the religious dimension of fandom in popular music, taking as an object of reflection Lady Gaga and her fans. I combine fan studies with theories of immanence as well as Deleuze and Guattari's notion of the process of becoming, and provide a theoretical reading of the relationship between Lady Gaga and her most fervent fans, the 'little monsters.' Both fandom and religion promise a stable sense of identity and authentic community to devotees. Performing deconstructive discourse analysis on three of Lady Gaga's music videos, I demonstrate how fandom, like organized religion, can simultaneously be an emancipatory practice and a practice that seeks to deny individual subjects their agency. This thesis provides a new theoretical framework for understanding fandom, and illustrates how the purported benefits of both fandom and religion can only be gained when the figureheads of each group are symbolically destroyed by the members themselves.

Sean O'Sullivan fonds

Sean O’Sullivan was born in Hamilton, Ontario, in 1952. At an early age, he demonstrated an interest in politics. A chance meeting with John Diefenbaker in 1963, when Sean was just 11 years old, marked the beginning of his involvement with the Progressive Conservative Party. Diefenbaker became a mentor to him, and the two exchanged correspondence for many years. Sean became an active member of the Party, and his political career took off quickly. In 1965, he was elected to the executive of the Hamilton Area Young Progressive Conservatives, in 1968 was elected President, and also served as Youth Director for Diefenbaker’s re-election campaign. In 1970 he was elected President of the Ontario Young Progressive Conservatives, and in 1971 became Youth Adviser to Premier William Davis. Later that year, Diefenbaker chose Sean to be his Executive Assistant. In addition to his political activities, Sean enrolled at Brock University in 1969 to study political science. In 1972, he resigned as Diefenbaker’s assistant in order to run as a candidate for Hamilton-Wentworth in the federal election that year. At just 20 years of age, Sean was the youngest MP elected to the House of Commons. While working as an MP, Sean continued his studies at Brock University part-time, graduating with distinction. After being re-elected in 1974, he rose to greater prominence when he succeeded in having a private member’s bill passed making the beaver one of Canada’s national symbols. In 1977, he resigned as MP in order to pursue religious studies and become a Catholic priest. After completing four years of studies at the Irish College of Rome’s Gregorian University, Sean was ordained a priest in Toronto in 1981. In July, 1982, he was appointed Director of Vocations (full-time recruiter) for the archdiocese of Toronto. In this capacity, he implemented a controversial and widely publicized campaign to recruit priests. The recruitment succeeded in generating interest in the priesthood, doubling the number of students in the archdiocese. He was one of the founding members of Serra House, a residence for students considering the priesthood. After his term as Vocations Director ended in 1985, O’Sullivan became publisher of The Catholic Register, a weekly church newspaper. That same year, he was awarded an honorary doctorate from Brock University. In January 1987, he was appointed a Member of the Order of Canada. Later that year, he submitted a report to the Attorney General of Ontario, titled You’ve got a Friend, after conducting an independent review of Advocacy for Vulnerable Adults in Ontario at the request of the government. In 1983, O’Sullivan was diagnosed with leukemia. The disease went into remission after treatment, but was incurable. In 1989, he had a bone marrow transplant at Princess Margaret Hospital in Toronto, but died shortly afterwards. He was 37 years old. A memorial fund was established in his name, and included contributions from prominent business, church and political leaders such as Prime Minister Brian Mulroney, Toronto Sun Chairman Doug Crieghton and His Eminence G. Emmett Carter. The O’Sullivan family requested that Brock University be the beneficiary of the proceeds of the campaign.

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.

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.

Religious Diversity and Teacher Education: Experiences and Perspectives of Muslim Women as Teacher Candidates in Pre-service Programs

This qualitative research project explores the insights of Muslim women as teacher candidates completing pre-service programs in Ontario. Ontario schools cater to students from many ethnic, cultural and religious groups, including a sizable Muslim population. Muslims make up 4.6% of Ontario’s population with the highest concentration of Muslims in the GTA (Statistics Canada, 2011). The Muslim population in Ontario is of a significant enough number that, in a post 9/11 world, it has prompted discussion of how to integrate Muslim populations in Canada. In this research, I explore how Islamophobic sentiment is experienced in Ontario-based teacher education programs. I use Critical Race Theory (CRT) and Critical Race Feminism (CRF) to analyse and deconstruct experiences of female Muslim teacher candidates in pre-service programs. I discuss how Muslims are a racialized group that experience racism as discussed by critical race literature; however, there is a marked difference between how Muslim men and women experience gendered Islamophobia. By using in-depth research-based interviews, I explore how Muslim women perceived diversity, education, accommodations and Islamophobia in pre-service programs. This study adds to the current literature on critical race theory and anti-racist practices in education. Furthermore, this study adds to the voice of Muslim women in the discussion of diversity and inclusivity in educational institutions.

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.

Scottish Rite (Masonic Order) French Language Collection, 1787-1825, 1907, n.d.

The origins of the Scottish Rite of Freemasonry can be traced to France around 1754, when a Chapter of Claremont was founded in Paris. Initially this chapter had seven degrees, but by 1758 there were twenty-five degrees, known as the Rite of Perfection. In 1761, Stephen Morin was appointed to introduce the Rite into the New World. He began with Kingston, Jamaica and San Domingo. Further establishments were made in New Orleans, LA(1763); Albany, NY (1767); Philadelphia, PA (1782); and Charleston, SC (1783). In order to improve the disorganized state of the degrees in Europe, “Grand Constitutions” were enacted in 1786. These Constitutions formally brought into existence the “Ancient and Accepted Scottish Rite”. None of the degrees of the Scottish Rite would seem to have origins in Scotland. “Scottish” is translated from the French word “Ecossais”, which is found in some of the French titles of some of the degrees of the Rite of Perfection. It is possible that the Scottish connection is a result of the involvement of a Scotsman, Andrew Michael Ramsey, who may have devised some of the degrees.