Sökning: "general logics"
Visar resultat 6 - 10 av 53 avhandlingar innehållade orden general logics.
6. Orsak: Våldtäkt : om våldtagna män i medicinsk praktik
Sammanfattning : Within the Swedish healthcare system, the care of raped men varies and many hospitals lack specific programmes. The aim of the thesis is to describe and analyse how meanings about rape and raped men are produced within Swedish healthcare. LÄS MER
7. Speaking Other Times : Hannah Arendt and the Temporality of Politics
Sammanfattning : Political rhetoric frequently utilizes imaginaries of time. Ideas of an eternally sanctioned principle, a historical tradition, a future to come, or a radical change in the present are all part of the temporal toolkit of political rhetoric. LÄS MER
8. Natural deduction for intuitionistic least and greatest fixedpoint logics : with an application to program construction
Sammanfattning : This thesis discusses intuitionistic least and greatest fixedpoint logics, i.e., intuitionistic systems of logic with primitive predicate-valued operators on predicate transformers that send monotone predicate transformers to their least and greatest fixedpoints, predicates being quasiordered by inclusion. LÄS MER
9. Corporate consulting for customer solutions : bridging diverging business logics
Sammanfattning : The change from mere product supply to customer solutions, integrated and customized offerings (including e.g. products, software and services), has been argued to be a route to success in the 21st century. LÄS MER
10. Languages, Logics, Types and Tools for Concurrent System Modelling
Sammanfattning : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. LÄS MER