Sökning: "natural deduction"

Visar resultat 21 - 25 av 27 avhandlingar innehållade orden natural deduction.

  1. 21. Runtime Service Composition via Logic-Based Program Synthesis

    Författare :Sven Lämmermann; KTH; []
    Nyckelord :service composition; logic-based program synthesis; intuitionistic logic; natural deduction; specification; Java;

    Sammanfattning : .... LÄS MER

  3. 22. Insurances against job loss and disability : Private and public interventions and their effects on job search and labor supply

    Författare :Josefine Andersson; Anders Forslund; Stefan Eriksson; Michael Rosholm; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Employment Security Agreements; job search assistance; job loss; notification; lump-sum severance grant; liquidity effect; disability insurance; financial incentives; continuous deduction; regression discontinuity design; propensity score matching; nearest neighbor matching; Economics; Nationalekonomi;

    Sammanfattning : Essay I: Employment Security Agreements, which are elements of Swedish collective agreements, offer a unique opportunity to study very early job search counselling of displaced workers. These agreements provide individual job search assistance to workers who are dismissed due to redundancy, often as early as during the period of notice. LÄS MER

  4. 23. Identity of proofs

    Författare :Filip Widebäck; Peter Schroeder-Heister; Stockholms universitet; []
    Nyckelord :Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts, a soundness part and a completeness part. LÄS MER

  5. 24. Trygghet i skärgårdsmiljö : En studie om rädsla för brott i Åboland

    Författare :Agneta Mallén; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Criminology; Åboland; Victimisation; Trust; Stranger; Social control; Shaming; Safety; Rural; Risk; Police; Moral minimalism; Gossip; Gemeinschaft; Gated community; Fear of crime; Established and outsiders; Drink driving; Archipelago; Community; Sociology; Åboland; Risk; Kriminologi; Sociologi;

    Sammanfattning : This study examines safety and fear of crime in Åboland, a predominantly rural area in southwestern Finland. It also examines crime and criminals in the area, as well as the distinctive social control that characterises Åboland's eight municipalities. LÄS MER

  7. 25. Deterioration Models and Road Capital as Tools in Performance Contracts for Pavement Maintenance

    Författare :Peter Ekdahl; Trafik och väg; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teknik; pavement management system; performance contract; pavement maintenance; deterioration model; Technological sciences; road capital; Social sciences; Samhällsvetenskaper;

    Sammanfattning : A reorganization of the Swedish National Road Administration (SNRA) has urged a demand to work as a professional agency only, without any work by direct labor. This structure has enforced a change in how to handle the pavement maintenance and performance contracts are being promoted since they encourage product development and sustainability. LÄS MER