Logic/Proof Theory

A Naive Prover for First-Order Logic
by Asta Halkjær From

First-Order Theory of Rewriting
by Alexander Lochmann and Bertram Felgenhauer

A Sequent Calculus Prover for First-Order Logic with Functions
by Asta Halkjær From and Frederik Krogsdal Jacobsen

Soundness and Completeness of an Axiomatic System for First-Order Logic
by Asta Halkjær From

Syntax-Independent Logic Infrastructure
by Andrei Popescu and Dmitriy Traytel

Robinson Arithmetic
by Andrei Popescu and Dmitriy Traytel

From Abstract to Concrete Gödel's Incompleteness Theorems—Part II
by Andrei Popescu and Dmitriy Traytel

From Abstract to Concrete Gödel's Incompleteness Theorems—Part I
by Andrei Popescu and Dmitriy Traytel

An Abstract Formalization of Gödel's Incompleteness Theorems
by Andrei Popescu and Dmitriy Traytel

A Sequent Calculus for First-Order Logic
by Asta Halkjær From

Propositional Proof Systems
by Julius Michaelis and Tobias Nipkow

Abstract Soundness
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

A Variant of the Superposition Calculus
by Nicolas Peltier

Surprise Paradox
by Joachim Breitner

The meta theory of the Incredible Proof Machine
by Joachim Breitner and Denis Lohner

Abstract Completeness
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

Gödel's Incompleteness Theorems
by Lawrence C. Paulson

Invertibility in Sequent Calculi
by Peter Chapman

Completeness theorem
by James Margetson and Tom Ridge