We deal with the statistical matching problem and in particular we study the problem related to the managing of inconsistencies. In fact, when logical relations among the variables are present incoherence can arise in the probability evaluations. The aim of this paper is to remove such incoherences by using different methods. Specific precise distances minimization or least committal imprecise ...

The varieties of marriage described by Manu and accepted by Vatsyayana are mentioned. The qualities of the bride and bridegroom for an ideal marriage are enumerated by Vatsyayana. The Shastraic view of the same along with the valid conditions of a Hindu Marriage under the Hindu Marriage Act, 1955 are contrasted. The role of the virtuous wife in house-keeping and looking after the husband, accor...

The construct validity of maternal mind-mindedness (MM) was investigated in the context of its relations with children's later understanding of mind. MM measures were obtained from infant-mother (N = 52) interactions at 6 months, and from maternal interviews at 48 months. Children's understanding of mind was assessed using theory of mind (ToM) tasks at 45 and 48 months, and a stream of consciou...

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith’s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth c...

1998-1999 school year poses the question of how the United States should change its foreign policy toward Russia. Although debate about foreign policy has been relegated to a back-seat compared to domestic issues by the American public, the academic community in international relations (IR) has been energized by the end of the Cold War. The Russia topic will provide a challenging opportunity fo...

The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...