Advanced search

Found 1 essay matching the above criteria.

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