Stratified resolution

We introduce a calculus of stratified resolution, in which special attention is paid to clauses that "define" relations. If such clauses are discovered in the initial set of clauses, they are treated using the rule of definition unfolding, i.e. the rule that replaces defined relations by their definitions. Stratified resolution comes with a powerful notion of redundancy: a clause to which definition unfolding has been applied can be removed from the search space. To prove the completeness of stratified resolution with redundancies, we use a novel combination of Bachmair and Ganzingerâ??s model construction technique and a hierarchical construction of orderings and least fixpoints.

On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Evidence Algorithm and Processing Formalized Mathematical Texts

The goal of a research programme Evidence Algorithm is a development of an open system of automated proving that is able to accumulate mathematical knowledge and to prove theorems in a context of a self-contained mathematical text. By now, the first version of such a system called a System for Automated Deduction, SAD, is implemented in software. The system SAD possesses the following main features: mathematical texts are formalized using a specific formal language that is close to a natural language of mathematical publications; a proof search is based on special sequent-type calculi formalizing natural reasoning style, such as application of definitions and auxiliary propositions. These calculi also admit a separation of equality handling from deduction that gives an opportunity to integrate logical reasoning with symbolic calculation.

Terror Management Theory and Belief in an Afterlife

Research has shown that belief in an afterlife, a form of symbolic immortality, can alleviate the negative emotions associated with one’s mortality (Deschesne et. al, 2003). We found this aspect of TMT particularly interesting, but lacking any substantial research. Therefore, we set out to determine if belief in an afterlife could diminish the effects of mortality salience. As far as we know, our study is the first to use a pre-screening process to determine participants’ prior beliefs. One prediction might be that those who believe in an afterlife will be less affected by the effects of mortality salience.

Growth of transcendental meditation: a sociological study

Sociology, in concerning itself with methodology and cultural determinism,may have overlooked the value of human experience in determining social action. We feel that the structural-functionalist point of view is not mutually exclusive with that of symbolic interaction theory. The field of collective behavior has not adequately explained a certain incidence of human activity called Transcendental Meditation. This paper will define Transcendental Meditation in sociological terms and explore its growth in terms of structural-functionalism,as well as in terms of the symbol-making faculty of human experience. In the first chapter, the author will state his biases and background as well as the problem and purpose of the paper. In the second chapter, Transcendental Meditation will be defined through an explanation of its concepts in sociological terms. A view of the TM program will also be reported. Following this in the third chapter, the origins of TM will be discussed~showing its basis to be in a tradition of Indian gurus and following its development in the United states until the present. The history of TM will proceed through biography of leading figures, with special mention of innovations in the TM institution of teaching and events in the growth of the 'movement' of TOO that are of key importance. Having set down the history of TM, in the fourth chapter we will discuss TM in terms of various sociological models. We will try to identify TM as either a social movement; a charismatic organization or a bureaucracy. In the fifth chapter we will look more closely at the structure of the organization that teaches TM in regard to its own functioning; that is, compliance, communication, socialization and recruitment, and also in regard to its relationship with national institutions, such as military, industry, religion, and government. Finally, we will explore TM in terms of individual and group goals and offer an explanation defining the growth of TM. Throughout-the paper, sociological perspectives will be applied to phenomena that exist in the society today. It is not within the scope of this paper to verify all the sociological implications and appraisals offered. It is hoped that this will not invalidate the ensuing discussion. It is also hoped that this paper will expand the horizons of sociology and offer some direction in future studies of collective behavior. If this is accomplished, the author will be gratified and indebted to his teachers. If not the author takes full responsibility. This paper is dedicated therefore to Mr. Birge, Mr Morrione, Mr. Geib as well as to my parents who have encouraged me, my friends whom I have interviewed, and to His Holiness, Maharishi Mahesh Yogi whose teaching has uplifted hundred of thousands of people in the world and may bring about the development of new thresholds of peace and prosperity for mankind.