Sökning: "First order logic"

Visar resultat 1 - 5 av 70 uppsatser innehållade orden First order logic.

  1. 1. Proof Editor for Natural Deduction

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
    Nyckelord :Proof editor; Natural deduction; First order logic; PureScript;

    Sammanfattning : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofsin first-order logic. This proof editor is intended to be used by students who aretaking a course in logic. Compared to other available proof editors Logan aims to beeasier to use, both when it comes to getting started and in the continued use of theproof editor. LÄS MER

  2. 2. Sustainability as an opportunity: Value creation for innovative ventures through proactively tackling environmental and social issues. A study on Librixer AB about reducing water pollution by recycling unused pharmaceuticals.

    Master-uppsats, Göteborgs universitet/Graduate School

    Författare :Oskar Bertéus; Benjamin Dobberke; [2021-07-06]
    Nyckelord :Sustainable Business Model; Business Model Innovation; Sustainable Development Goals; Opportunity Recognition;

    Sammanfattning : This thesis argues that Sustainable Business Model Innovation should be considered anessential process for small- and medium-sized enterprises to create value. In order to establisha sustainable value proposition, the researchers propose that social, economic andenvironmental attributes have to be considered from the start of a Business Model Innovationprocess and that social and environmental aspects cannot simply be added to an existingBusiness Model. LÄS MER

  3. 3. Att namnge platser i ett distributionslager : En fallstudie om att förändra ett adresseringssystem i ett distributionslager med hjälp av förändringsplanering.

    Kandidat-uppsats, Jönköping University/JTH, Logistik och verksamhetsledning

    Författare :Felix Boström; Hanna Calderon; [2021]
    Nyckelord :location addressing system; naming of storage locations; storage locations; distribution center; change planning; change; cognitive science;

    Sammanfattning : Purpose – The purpose with this study is to increase the understanding of how storage locations should be named along with an understanding of how planning of change could influence a change process. In order to achieve the purpose of this study, two research questions were formulated. LÄS MER

  4. 4. Is Externalism Compatible with the KK-thesis?

    Magister-uppsats, Lunds universitet/Teoretisk filosofi

    Författare :Balder Ask Zaar; [2021]
    Nyckelord :Self-intimating knowledge; Cartesian Non-Cartesian knowledge; Externalism s compatibility with the KK-thesis; Williamson s anti-luminosity arguments; The nature of human knowledge.; Philosophy and Religion;

    Sammanfattning : In this paper I discuss the compatibility of externalism about epistemic justification with the well-known KK-thesis in epistemic logic. A weaker form of the KK-thesis (if one knows, one is also in a position to know that one knows) is first defended against Williamson's anti-luminosity arguments. LÄS MER

  5. 5. Comprehending the concept of AML risk management: From ostrich policy to number one priority

    Master-uppsats, Göteborgs universitet/Graduate School

    Författare :Viktor Löfgren; Anton Melkersson; [2020-07-01]
    Nyckelord :AML; Governance; Competing logics; Risk management; AML regulation; Nordic bank scandal;

    Sammanfattning : MSc in Accounting and Financial Management.... LÄS MER