A partial order on a bounded lattice L is called t-order if it is defined by means of the t-norm on L. It is obtained that for a t-norm on a bounded lattice L the relation a⪯Tb iff a=T(x,b) for some x∈L is a partial order. The goal of the paper is to determine some conditions such that the new partial order induces a bounded lattice on the subset of all idempotent elements of L and a complete lattice on the subset A of all elements of L which are the supremum of a subset of atoms.
This article examines the marked decline in Irish social housing’s traditional role as the main source of accommodation for low-income households. We argue that although this policy redirection has become clearly apparent in the context of the Global Financial Crisis; its roots are, in fact, much older. They lie, not in Ireland’s most recent fiscal crisis, but in the last one which occurred between the late 1970s and mid-1980s. Changes made to arrangements for funding social housing during this time effected a long-term contraction in the social housing’s contribution to total housing output which, in turn, precipitated growing reliance on housing allowance subsidised private rented housing to accommodate this group. The post-GFC austerity merely accelerated this long-term trend rather than signalled a new policy direction.
The Japanese species of Asteiidae are revised. Six species of Asteia Meigen, 1830, are recorded here in addition to Astiosoma okinawae Sabrosky, 1957, hitherto recorded from Japan. Among them, Asteia gemina, A. longistylus, A. lunaris, and A. nigrigena are described as new to science. Asteia angustipennis Duda, 1934, and A. megalophthalma Duda, 1927, are recorded from Japan for the first time. There are conspicuous morphological differences in the male and female genitalia of the seven species of Asteia. It is suggested that Asteia angustipennis, A. concinna, and A. gemina are very closely related and may be reproductively isolated because of their body markings and male genitalia. These species are assigned to the concinna group of Asteia, newly designated in this study. A key to Japanese species and distribution maps are provided.
In this paper a fuzzy relation-based framework is shown to be suitable to describe not only knowledge-based medical systems, explicitly using fuzzy approaches, but other ways of knowledge representation and processing. A particular example, the practically tested medical expert system Disco, is investigated from this point of view. The system is described in the fuzzy relation-based framework and compared with CADIAG-II-like systems that are a "pattern" for computer-assisted diagnosis systems based on a fuzzy technology. Similarities and discrepancies in - representation of knowledge, patient's information, inference mechanism and interpretation of results (diagnoses) - of the systems are established. This work can be considered as another step towards a general framework for computer-assisted medical diagnosis.
Utilizing the theory of fixed point index for compact maps, we establish new results on the existence of positive solutions for a certain third order boundary value problem. The boundary conditions that we study are of nonlocal type, involve Stieltjes integrals and are allowed to be nonlinear.