We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically more realistic) look at cut-free proofs. We analyze which witnesses they choose for which quantifiers, or in other words: we only consider the Herbrand-d...

We investigate con uence properties for concurrent systems of message-passing processes, because such properties have proved to be useful for a variety of applications, ranging from reasoning about concurrent objects to mobile and high-speed telecommunication protocols. Roughly, con uence means that for every two computations starting from a common system state, it is possible to continue the c...

Abstract A flood is a hydrometeorological disaster caused by several factors simultaneously. This paper aims to analyze the that hit Sintang Regency in 2021. We spatially according method formulated Watershed Management and Technology Center (WMTC), Surakarta. grows at Y-junction of two major rivers Kapuas Watershed, namely Melawi River. The biophysical conditions upstream area affect water lev...

Rivers have a symbolic meaning in the work of Levan Gotua. As writer thinking about fate nation, he looks at river with this eye, is an integral part history, witness to country. The presents Alazani not only figuratively, but also kind conceptual line that adds new color mother „Gmirta Varami“, on other hand, and floodplains are main places Gotua's series essays – „Mgzavruli Krialosani“, where...

The diversification of chemicals from various point and non-point sources discharged into the environment that can mimic or antagonise the action of hormones. These endocrinedisrupting chemicals (EDCs) can thus interact with physiological systems and cause alterations in development, growth and reproduction in wildlife that are exposed to them. The present study focused on the endocrine sensiti...

This paper describes the Conditional Confluence tool, a fully automatic confluence checker for first-order conditional term rewrite systems. The tool implements various confluence criteria that have been proposed in the literature. A simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence criteria more useful. Detailed experimental ...

This paper examines ways in which human values toward surface water, especially large rivers, are relevant to land-use decisions the watersheds. The study’s focus is symbolic riverscape constructed by residents local Susquehanna River at confluence of its branches central Pennsylvania. main analytical tool cultural landscape, a conceptualization alteration physical world product value systems. ...

Small rivers of Central Russia often experience a high anthropogenic pressure, and at the same time their study measures taken to preserve them are incomparably more modest than for large rivers. On example Veletma river in Nizhny Novgorod region, factors affecting formation water quality small considered. The ecological geographical characteristics given. It is shown that current methodology a...

The confluence of the Ganges, Jamuna, and Padma rivers is one most dynamic in world, an internationally important research area because two world's major rivers, Ganges Brahmaputra. Morphological changes this have resulted severe erosion along banks. Riverbank Bangladesh's critical issues, requiring a substantial solution. affects millions people Bangladesh each year zone. Consequently, underst...

Abstract This work seeks to discuss the conception of affected and reconfiguration territory social lives with observation analysis two communities not considered by Jirau HPP: that small Village Penha. The research is characterized as theoretical-descriptive, based on issues related occurrence impacts construction operation hydroelectric plants, fieldwork was performed non-participant observat...