Essays about: "Predicate logic"

Found 2 essays containing the words Predicate logic.

  1. 1. Proof Editor for Natural Deduction in First-order Logic

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

    Author : Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly; Andreas Widbom; [2017-08-10]
    Keywords : Proof editor; First-order logic; Predicate logic; Natural deduction;

    Abstract : The subject of this thesis is the presentation and evaluation of Conan, an editor for writing natural deduction proofs in first-order logic. The intent is for the editor to serve as a supplementary tool alongside a course in logic. READ MORE

  3. 2. Improving formal analysis of computerised rail traffic control systems using domain models

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Karin Ahlman; [2016]
    Keywords : ;

    Abstract : During the formal analysis of a computerized railway control system, it may be difficult to understand if a found counterexample to a requirement is a scenario which can happen in the real world or not. By putting sensible constraints on the inputs to the system, i.e. READ MORE