Essays about: "First-order logic"

Showing result 1 - 5 of 12 essays containing the words First-order logic.

  1. 1. Formal model of eligibility requirements for the Department of Computing Science

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Jonathan Sundqvist; [2023]
    Keywords : ;

    Abstract : This paper aims to formally model the eligibility requirements for the Department of Computing Science at Umea University. As of now, the requirements are written in plain text resulting in students or lecturers having to evaluate these manually. Eligibility requirements can be built complex which makes it difficult to handle manually. READ MORE

  3. 2. Abstract Logics and Lindström's Theorem

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Niclas Bengtsson; [2023]
    Keywords : model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

    Abstract : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. READ MORE

  4. 3. Proof Editor for Natural Deduction

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

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

    Abstract : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. READ MORE

  5. 4. Mahan in a New Millennium

    University essay from Försvarshögskolan

    Author : Peter Thomsson; [2020]
    Keywords : Seapower; naval strategy; maritime strategy; Mahan; event study;

    Abstract : In 1890, the American naval officer and scholar Alfred Thayer Mahan formulated as a theory that seapower brings prosperity. This thesis in War Science tests whether Mahan’s theory remains valid in the modern day. A multi-disciplinary approach is taken, wherein a financial event study method is employed for hypothesis testing. READ MORE

  6. 5. Combining Inlining and Contracting for Human Efficient Deductive Verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Erik Söderberg; [2019]
    Keywords : ;

    Abstract : A function is functionally correct when it behaves according to a specification that describes its input-output behaviour. With deductive verification, it is possible to prove whether a function conforms to its specification or not. READ MORE