Talk in the Computational Logic Group at the University of Innsbruck

  • Anders Schlichtkrull (Participant)

Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

Description

IsaFoL - Isabelle Formalization of Logic - An Overview

Speaker: Anders Schlichtkrull

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, SAT solving and a paraconsistent logic. I give an overview of IsaFoL and go into details on the formalization of first-order resolution.

Talk "IsaFoL - Isabelle Formalization of Logic - An Overview" in the Computational Logic Group of the Department of Computer Science at the University of Innsbruck.
Period1 Mar 2018
Event typeOther