LogSem

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

Description

IsaFoL - An Isabelle Formalization of Logic

Abstract: 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" at LogSem in Aarhus University
Period7 Mar 2019
Event typeSeminar
LocationAarhus, Denmark