The Pridneprovsky Chemical Plant was one of the largest uranium processing enterprises in the former USSR, producing a huge amount of uranium residues. The Zapadnoe tailings site contains most of these residues. We propose a theoretical framework based on multicriteria decision analysis and fuzzy logic to analyze different remediation alternatives for the Zapadnoe tailings, which simultaneously...

The aim of this study is prospecting of iron and manganese in the Balvard 1:100000 sheet which is situated in Sanandaj - Sirjan structural zone utilizing Index Overlay and Fuzzy Logic methods in the GIS. In this study, the layers for integration, alterations, geological, geophysical, geochemical and structural data based on stream sediments, airborne magnetometeric and remote sensing studies. B...

In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula derived from T2 is also derived from T1. Such an order relation is useful to know relative value between different theories. In the context of default logic, a theory contains default information as well as definite information. To order default theories, it is necessary to assess the information co...

We construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski [6]. However, instead of relying on nested CPS translations, these operators give directly a Curry-Howard interpretation of a fragment of linear logic extended with subexponentials, i.e., multiple pairs of ! and ?. We show how the fundamental problem of delimited...

Purpose – The purpose of this paper is to provide further insight into operations management of the Product-Service (P-S) transition, known as servitization, and the resulting Product Service System (PSS) offerings. In exploring the dynamics of product-service transition this paper adopts a Service-Dominant (S-D) logic view of value creation, using it as a lens through which to explore value pr...

Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent systems. However, the complexity of the logic can be prohibitive. We here develop a refined version of such a logic and associated tableau procedure with improved complexity but where important classes of specification...

background due to burgeoning population, solid waste site selection is one of the most crucial issues in waste management system. regarding the complexity of waste management systems, the convenient solid waste site selection involves considering multiple alternative solutions and assessing different criteria. objectives the current study, aimed to select the fuzzy logic method as one of the mo...

In this paper we review the development & advantages of multi valued logic. The multi valued logic has been object of research over last few decades. Since 1971 there have been annual symposiums on multi valued logic. The use of non binary logic or discrete-analog signal processing is not out of the question if the multiple-valued hardware algorithms are developed for fast parallel operations. ...