Talk in the Formal Methods group of Chalmers University of Technology

  • Anders Schlichtkrull (Participant)

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.


IsaFoL - An Isabelle Formalization of Logic

Abstract: IsaFoL is the Isabelle Formalization of Logic, a project that
aims to develop libraries of lemmas and methods for formalizing research
on logic. The project contains formalizations of several logics and
tools. Examples are: first-order resolution, a first-order proof
assistant and a paraconsistent logic. I give an overview of
IsaFoL and go into details on the formalization of first-order resolution.

Talk "IsaFoL - An Isabelle Formalization of Logic" in the Formal Methods group of the Computer Science and Engineering department of Chalmers University of Technology.
Period27 Mar 2019
Event typeConference
LocationGothenburg, SwedenShow on map