We refine the arithmetical hierarchy of various classical principles by finely investigating derivability relations between these over Heyting arithmetic. mainly investigate some restricted versions law excluded middle, De Morgan's law, double negation elimination, collection principle and constant domain axiom.

The construction of new rural communities is an important measure to promote the integration of urban and rural areas. The environmental quality of new rural communities represents the residential suitability of the communities. The evaluation of the environmental quality can help promote the healthy development of new rural communities. The present study combines AHP (Analytic Hierarchy Proces...

0

We give a new characterization of the strict ∀Σj sentences provable using Σk induction, for 1 ≤ j ≤ k. As a small application we show that Buss’s witnessing theorem for strict Σk formulas already holds over the relatively weak theory PV. We exhibit a combinatorial principle with the property that a lower bound for it in constant-depth Frege would imply that the narrow CNFs with short depth j Fr...

This paper describes how the composition principle of Abadi and Lamport can be applied to specify and compose systems where access control policies are distributed among a hierarchy of agents. Examples of such systems are layered secure operating systems, where the mandatory access control policy is enforced by the lowest system layer and discretionary and application-speciic policies are imple...

Object-oriented design and layered hierarchical architecture are the dominant paradigms for building computerbased applications. The biological system has significant nonoverlap with these paradigms. This poses challenges in integrating seamlessly computer and biological systems. A seamless system could help build personalized patient monitoring/management systems for chronic conditions such as...

We construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski [5]. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with subexponentials (i.e., multiple pairs of ! and ?). We construct an independent proof theory for a fragment of this logic based on t...

Community detection based on modularity maximization is currently done with hierarchical as well as with partitioning heuristics, and, in a few papers, exact algorithms. Hierarchical heuristics aim at finding a set of nested partitions. They are in principle devised for finding a hierarchy of partitions implicit in the given network when it corresponds to some situation where hierarchy is obser...