Coercive subtyping is a useful and powerful framework of subtyping for type theories. In this thesis, we point out the problem in the old formulation of coercive subtyping in [Luo99], give a new and adequate formulation T [C], the system that extends a type theory T with coercive subtyping based on a set C of basic subtyping judgements, and show that coercive subtyping is a conservative extensi...

Power and the use of force are central concerns in liberal political theory. Yet, it is claimed that theory fails to account for power exerted through, example, personalised nudging based on Big Data. We dispute this claim through a reappraisal concept negative liberty we show how psychological interference can be both coercive manipulative. This partly achieved an examination equivalents physi...

Coercive subtyping ooers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin-LL of's type theory and UTT is a conservative extension. The importance of coherence c...

An original experimental facility for studying the physical properties of materials during elastic-plastic deformation along two axes has been created. The no ferromagnetic parts in working area, thus enabling us to make more accurate magnetic measurements. Biaxial is simulated by finite element method order optimize geometry specimen and determine stress state central zone specimen. Test exper...

The Swedish Health and Medical Services Act states that health and medical care for all children, youth and adults shall: Be of a high standard and satisfy the patients need for security; Be easily accessible; Be based on respect for the patients right to self-determination and integrity; Promote good communication between the patient and health and medical care personnel. The use of restraint ...

BACKGROUND: Psychiatric advance directives are intended to enable self-determined treatment for patients who lose decisional capacity, and thus reduce the need for coercive interventions such as police transport, involuntary commitment, seclusion and restraints, and involuntary medications during mental health crises; whether PADs can help prevent the use of these interventions in practice is u...