Formal System

Main question of modern penological theory and penitentiary practise is finding deeper social sense through general goal, which we define as resocialization of prisoners and creating conditions for successful life after leaving prison. Success of resocialization depends also on attitude of prisoners to formal system and following the rules and principles of that system. Opposite to formal system which is based on prison staff and normative system (Law of carrying out of a sentence and Book of regulations for house rules), exists informal system which is based on prisoners and their mutual relationships, as well as on prisoner's codex, and which has negative influence to resocilazation process. Attitude of prisoners to formal system during serving a sentence represents very significant indicator of prisoner's readiness for return to community and acceptance of society norms.

The objectives of the study are to: a) increase understanding of the effects and effectiveness of the implementation of the local government reform launched in 2006; and b) assess the impact of a World Bank-supported intervention that aimed to enhance effectiveness of the reforms by increasing local capacity and local participation. In line with these objectives, the study assessed the perceived effects and effectiveness of the implementation of the local government reform in selected provinces. The study also constitutes a baseline to allow for on-going assessment of progress and to inform corrective policy actions. The instruments and methods created during the study may be used in future assessments of the dynamics of local governance reform. These effects are reviewed in section two. The study also carried out a rigorous evaluation of the impact of an operational intervention carried out with World Bank support in the three regions of the study. This grant-funded project was aim...

A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence. This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence. This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.