This paper presents a technique called generic composition to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic theories. The weak inverse of generic composition is defined. A completeness theorem shows that any predicate can be written in terms of generic compositio...

Abstract Manufacturers increasingly adopt health symbols, which translate overall product healthiness into a single symbol, to communicate about the of their grocery products. This study examines how performance implications adding front-of-pack symbol vary across We sales impact government-supported program in 29 packaged categories, using over four years scanner data. The results indicate tha...

• Indoor plant appearance impacts people's responses. Interest and beauty of indoor plants benefits well-being. Perceptions air quality are influenced by healthiness plants. Shape ranked as the most important characteristic affecting attractiveness. People prefer with rounded canopy contours.

One of the criteria in determining underdeveloped areas is quality human resources which there an increase it will community’s welfare. But fact, Sumatera Island contributed 7 out 62 Indonesia since 2020. It can be caused by areas, looking at resources. The indicator that often used measuring resource development Human Development Index (HDI) divided into three factors, namely poverty, healthin...

aim and background: it is estimated that coronary heart diseases (chd) will be the major cause of mortality by the year 2020. the traditional factors such as age, genetics, smoking and obesity, account only half of the variance in chd.  therefore, regarding increasing concern about the psychosocial factors, the purpose of present study was to evaluate the role of personality, stress and social ...

Rapid developments in technology and connectedness are influencing how consumers access use nutrition information. However, this information is not always clear consistent. The inconsistencies the provided to can lead them uncertainty about which data (i.e. consider as correct), especially when different sources of appear similarly qualified accurate. This paper aims highlight impact inconsiste...

Policy makers around the world are facing serious challenges in controlling citizens' obesity and healthiness, hence, they devote increased attention to development of tools that communicate easily processable nutrition information. Front-of-package labels one such have been used signal extent which food items contain potentially unhealthy ingredients as sugar or fat. In this research, we focus...